@incollection{Ellis-Nutt/93,
AUTHOR = {Ellis, Clarence A. and Nutt, Gary J.},
TITLE = {Modeling and enactment of workflow systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {1-16},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Silva/93,
AUTHOR = {Silva, Manuel},
TITLE = {Interleaving functional and performance structural analysis of net models},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {17-23},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Trivedi-Kulkarni/93,
AUTHOR = {Trivedi, Kishor S. and Kulkarni, Vidyadhar G.},
TITLE = {FSPNs: Fluid stochastic Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {24-31},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Banares-Muro-Medrano-Villarroel/93,
AUTHOR = {Ba{\~n}ares, J.A. and Muro-Medrano, P.R. and Villarroel, J.L.},
TITLE = {Taking advantages of temporal redundancy in high level Petri nets implementations},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {32-48},
YEAR = {1993},
EDITOR = {Ajmone Marsan, Marco},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barbeau-Bochmann/93,
AUTHOR = {Barbeau, Michel and Bochmann, Gregor von},
TITLE = {A subset of Lotos with the computational power of place/transition-nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {49-68},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barkaoui-Dutheillet-Haddad/93,
AUTHOR = {Barkaoui, K. and Dutheillet, C. and Haddad, S.},
TITLE = {An efficient algorithm for finding structural deadlocks in colored Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {69-88},
YEAR = {1993},
EDITOR = {Ajmone Marsan, Marco},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=69},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bernardinello/93,
AUTHOR = {Bernardinello, Luca},
TITLE = {Synthesis of net systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {89-105},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=89},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Buchholz/93,
AUTHOR = {Buchholz, Peter},
TITLE = {Hierarchies in colored GSPNs},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {106-125},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=106},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cao-Sanderson/93,
AUTHOR = {Cao, Tiehua and Sanderson, Arthur C.},
TITLE = {Variable reasoning and analysis about uncertainty with fuzzy Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {126-145},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=126},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Chiola-Ferscha/93,
AUTHOR = {Chiola, Giovanni and Ferscha, Alois},
TITLE = {Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {146-165},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=146},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Choi-Kulkarni-Trivedi/93,
AUTHOR = {Choi, Hoon and Kulkarni, Vidyadhar G. and Trivedi, Kishor S.},
TITLE = {Transient analysis of deterministic and stochastic Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {166-185},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=166},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christensen-Hansen/93,
AUTHOR = {Christensen, S{\o}ren and Hansen, Niels Damgaard},
TITLE = {Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {186-205},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=186},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Deng-Chang-Figueired-Perkusich/93,
AUTHOR = {Deng, Yi and Chang, S.K. and Figueired, Jorge C.A. de and Perkusich, Angelo},
TITLE = {Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {206-223},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=206},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Desel-Esparza/93,
AUTHOR = {Desel, J{\"o}rg and Esparza, Javier},
TITLE = {Shortest paths in reachability graphs},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {224-241},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=224},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Devillers/93,
AUTHOR = {Devillers, Raymond},
TITLE = {Construction of S-invariants and S-components for refined Petri boxes},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {242-261},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=242},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gomm-Kindler-Paech-Walter/93,
AUTHOR = {Gomm, D. and Kindler, E. and Paech, B. and Walter, R.},
TITLE = {Compositional liveness properties of EN-systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {262-281},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=262},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hanisch/93,
AUTHOR = {Hanisch, Hans-Michael},
TITLE = {Analysis of place/transition nets with timed arcs and its application to batch process control},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {282-299},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
KEYWORDS = {timed Petri nets, system design, analysis, performance evaluation, batch process control},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=282},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Ilie-Rojas/93,
AUTHOR = {Ili{\'e}, Jean-Michel and Rojas, Omar},
TITLE = {On well-formed nets and optimizations in enabling tests},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {300-318},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=300},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kemper/93,
AUTHOR = {Kemper, Peter},
TITLE = {Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {319-338},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=319},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Portinale/93,
AUTHOR = {Portinale, Luigi},
TITLE = {Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {339-356},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=339},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sauer-Xie/93,
AUTHOR = {Sauer, Nathalie and Xie, Xiaolan},
TITLE = {Marking optimization of stochastic timed event graphs},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {357-376},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=357},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sibertin-Blanc/93,
AUTHOR = {Sibertin-Blanc, C.},
TITLE = {A client-server protocol for the composition of Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {377-396},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=377},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sundaram-Narahari/93,
AUTHOR = {Sundaram, C.R.M. and Narahari, Y.},
TITLE = {Analysis of dynamic load balancing strategies using a combination of stochastic Petri nets and queueing networks},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {397-414},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=397},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Teruel-Silva/93,
AUTHOR = {Teruel, Enrique and Silva, Manuel},
TITLE = {Liveness and home states in equal conflict systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {415-432},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
KEYWORDS = {place/transition net systems, structure theory, equal conflict systems},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=415},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Valk/93,
AUTHOR = {Valk, R{\"u}diger},
TITLE = {Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {433-452},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
KEYWORDS = {analysis and synthesis, structure and behavior of Petri nets, higher-level net models, coloured Petri nets, program verification, place invariant, selfmodifying coloured Petri nets},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=433},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_der_Aalst/93,
AUTHOR = {van der Aalst, W.M.P.},
TITLE = {Interval timed coloured Petri nets and their analysis},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {453-472},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=453},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Wang-Trivedi/93,
AUTHOR = {Wang, Chang-Yu and Trivedi, Kishor S.},
TITLE = {Integration of specification for modeling and specification for system design},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {473-492},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=473},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Watanabe-Yamauchi/93,
AUTHOR = {Watanabe, Toshimasa and Yamauchi, Masahiro},
TITLE = {New priority-lists for scheduling in timed Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {493-512},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=493},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yen-Wang-Yang/93,
AUTHOR = {Yen, Hsu-Chun and Wang, Bow-Yaw and Yang, Ming-Sheng},
TITLE = {A unified approach for reasoning about conflict-free Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {513-531},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=513},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Berger-Lamontagne/93,
AUTHOR = {Berger, J. and Lamontagne, L.},
TITLE = {A colored Petri net model for a naval command and control system},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {532-541},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=532},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Capellmann-Dibold/93,
AUTHOR = {Capellmann, Carla and Dibold, Heinz},
TITLE = {Petri net based specifications of services in an intelligent network --- experiences gained from a test case application},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {542-551},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=542},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Cherkasova-Kotov-Rokicki/93,
AUTHOR = {Cherkasova, Ludmila and Kotov, Vadim and Rokicki, Thomas},
TITLE = {On net modeling of industrial size concurrent systems},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {552-561},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=552},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hartley-Harvey/93,
AUTHOR = {Hartley, David A. and Harvey, David M.},
TITLE = {Analysis of the TMS320C40 communication channels using timed Petri nets},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {562-571},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=562},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Klas/93,
AUTHOR = {Klas, Guenter},
TITLE = {Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {572-581},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=572},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Zhang-Grunbacher/93,
AUTHOR = {Zhang, Qian and Gr{\"u}nbacher, Herbert},
TITLE = {Petri nets modeling in pipelined microprocessor design},
BOOKTITLE = {Proceedings of the 14th International Conference on Application and Theory of Petri Nets, ICATPN'93 (Chicago, Illinois, June 21-25, 1993)},
SERIES = {LNCS},
VOLUME = {691},
PAGES = {582-591},
YEAR = {1993},
EDITOR = {Marsan, Marco Ajmone},
URL = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=691&spage=582},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}