@incollection{Agha/96,
AUTHOR = {Agha, Gul A.},
TITLE = {Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {1-10},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Murata/96,
AUTHOR = {Murata, Tadao},
TITLE = {Temporal uncertainty and fuzzy-timing high-level Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {11-28},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Valmari/96,
AUTHOR = {Valmari, Antti},
TITLE = {Compositionality in state space verification methods},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {29-56},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barkaoui-Pradat-Peyre/96,
AUTHOR = {Barkaoui, Kamel and Pradat-Peyre, Jean-Fran{\c{c}}ois},
TITLE = {On liveness and controlled siphons in Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {57-72},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Benalycherif-Girault/96,
AUTHOR = {Benalycherif, Mohamed-Lyes and Girault, Claude},
TITLE = {Behavioural and structural composition rules preserving liveness by synchronization for colored FIFO nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {73-92},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bilinski-Dagless/96,
AUTHOR = {Bili{\'n}ski, Krzysztof and Dagless, Erik L.},
TITLE = {High level synthesis of synchronous parallel controllers},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {93-112},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Busi-Pinna/96,
AUTHOR = {Busi, Nadia and Pinna, G. Michele},
TITLE = {Non sequential semantics for contextual P/T nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {113-132},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Donatelli-Franceschinis/96,
AUTHOR = {Donatelli, Susanna and Franceschinis, Giuliana},
TITLE = {The PSR methodology: Integrating hardware and software models},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {133-152},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Floreani-Billington-Dadej/96,
AUTHOR = {Floreani, D.J. and Billington, J. and Dadej, A.},
TITLE = {Designing and verifying a communications gateway using colored Petri nets and Design/CPN},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {153-171},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{German-Moorsel-Qureshi-Sanders/96,
AUTHOR = {German, Reinhard and Moorsel, Aad P.A. van and Qureshi, Muhammad A. and Sanders, William H.},
TITLE = {Expected impulse rewards in Markov regenerative stochastic Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {172-191},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Haddad-Moreaux/96,
AUTHOR = {Haddad, Serge and Moreaux, Patrice},
TITLE = {Asynchronous composition of high level Petri nets: A quantitative approach},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {192-211},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{He/96a,
AUTHOR = {He, Xudong},
TITLE = {A formal definition of hierarchical predicate transition nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {212-229},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Hiraishi/96,
AUTHOR = {Hiraishi, Kunihiko},
TITLE = {Reduced state space representation for unbounded vector state spaces},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {230-248},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Jorgensen-Mortensen/96,
AUTHOR = {J{\o}rgensen, Jens B{\ae}k and Mortensen, Kjeld H{\o}yer},
TITLE = {Modelling and analysis of distributed program execution in BETA using colored Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {249-268},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kemper/96a,
AUTHOR = {Kemper, Peter},
TITLE = {Reachability analysis based on structured representations},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {269-288},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kindler-Walter/96,
AUTHOR = {Kindler, Ekkart and Walter, Rolf},
TITLE = {Arc-typed Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {289-306},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kleinjohann-Kleinjohann-Tacken/96,
AUTHOR = {Kleinjohann, B. and Kleinjohann, E. and Tacken, J.},
TITLE = {The SEA language for {\underline{S}}ystem {\underline{E}}ngineering and {\underline{A}}nimation},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {307-326},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Knaup/96,
AUTHOR = {Knaup, Werner},
TITLE = {A new iterative numerical solution algorithm for a class of stochastic Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {327-345},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kondratyev-Kishinevsky-Taubin-Ten/96,
AUTHOR = {Kondratyev, Alex and Kishinevsky, Michael and Taubin, Alexander and Ten, Sergei},
TITLE = {A structural approach for the analysis of Petri nets by reduced unfoldings},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {346-365},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Kovalyov/96,
AUTHOR = {Kovalyov, Andrei},
TITLE = {An $O(|S| x |T|)$-algorithm to verify if a net is regular},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {366-379},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lakos/96,
AUTHOR = {Lakos, Charles},
TITLE = {The consistent use of names and polymorphism in the definition of object Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {380-399},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Linneberg_Rasmussen-Singh/96,
AUTHOR = {Linneberg Rasmussen, Jens and Singh, Mejahr},
TITLE = {Designing a security system by means of coloured Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {400-419},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Nigro-Pupo/96,
AUTHOR = {Nigro, Libero and Pupo, Francesco},
TITLE = {Modeling and analysing DART systems through high-level Petri nets},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {420-439},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Recalde-Teruel-Silva/96,
AUTHOR = {Recalde, Laura and Teruel, Enrique and Silva, Manuel},
TITLE = {${SC}*ECS$: A class of modular and hierarchical cooperating systems},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {440-459},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Sunesen-Nielsen/96,
AUTHOR = {Sunesen, Kim and Nielsen, Mogens},
TITLE = {Behavioural equivalence for infinite systems --- Partially decidable!},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {460-479},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{van_Oosten/96,
AUTHOR = {van Oosten, Jaap},
TITLE = {Topological aspects of traces},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {480-496},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Varshavsky-Marakhovsky/96,
AUTHOR = {Varshavsky, V.I. and Marakhovsky, V.B.},
TITLE = {Asynchronous control device design by net model behavior simulation},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {497-515},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Vernadat-Azema-Michel/96,
AUTHOR = {Vernadat, Fran{\c{c}}ois and Az{\'{e}}ma, Pierre and Michel, Fran{\c{c}}ois},
TITLE = {Covering step graph},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {516-535},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Yuan-Liu-Dong/96,
AUTHOR = {Yuan, Jun and Liu, Lilin and Dong, Zhanqiu},
TITLE = {Performance analysis of a connection management scheme in IWU interconnecting LANs across ATM networks},
BOOKTITLE = {Proceedings of the 17th International Conference on Application and Theory of Petri Nets (Osaka, Japan, June 24-28, 1996)},
SERIES = {LNCS},
VOLUME = {1091},
PAGES = {536-548},
YEAR = {1996},
EDITOR = {Billington, Jonathan and Reisig, Wolfgang},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}