@incollection{Best-Koutny/95,
AUTHOR = {Best, Eike and Koutny, Maciej},
TITLE = {A refined view of the box algebra},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {1-20},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Mattern/95,
AUTHOR = {Mattern, Friedemann},
TITLE = {Distributed algorithms and causally consistent observations},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {21-22},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Voss/95,
AUTHOR = {Voss, Klaus},
TITLE = {Petri nets for information systems modelling},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {23-24},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Barkaoui-Couvreur-Dutheillet/95,
AUTHOR = {Barkaoui, K. and Couvreur, J.M. and Dutheillet, C.},
TITLE = {On liveness in extended non self-controlling nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {25-44},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Basten-Voorhoeve/95,
AUTHOR = {Basten, Twan and Voorhoeve, Marc},
TITLE = {An algebraic semantics for hierarchical P/T nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {45-65},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bastide-Palanque/95,
AUTHOR = {Bastide, R{\'{e}}mi and Palanque, Philippe},
TITLE = {A Petri net based environment for the design of event-driven interfaces},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {66-83},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Battiston-Botti-Crivelli-De_Cindio/95,
AUTHOR = {Battiston, E. and Botti, O. and Crivelli, E. and De Cindio, F.},
TITLE = {An incremental specification of a hydroelectric power plant control systems using a class of modular algebraic nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {84-102},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Best-Fleischack-Fraczak-Hopkins-Klaudel-Pelz/95,
AUTHOR = {Best, Eike and Fleischack, Hans and Fra{\c{c}}zak, Wojciech and Hopkins, Richard P. and Klaudel, Hanna and Pelz, Elisabeth},
TITLE = {A class of composable high level Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {103-120},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Brgan-Poitrenaud/95,
AUTHOR = {Brgan, Robert and Poitrenaud, Denis},
TITLE = {An efficient algorithm for the computation of stubborn sets of well formed Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {121-140},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bruno-Agarwal-Castella-Pescarmona/95,
AUTHOR = {Bruno, G. and Agarwal, R. and Castella, A. and Pescarmona, M.P.},
TITLE = {CAB: An environment for developing concurrent application},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {141-160},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Bucholz/95,
AUTHOR = {Bucholz, Peter},
TITLE = {A notion of equivalence for stochastic Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {161-180},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Caselli-Conte-Marenzoni/95,
AUTHOR = {Caselli, S. and Conte, G. and Marenzoni, P.},
TITLE = {Parallel state space exploration for GSPN models},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {181-200},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Christensen-Petrucci/95,
AUTHOR = {Christensen, S{\o}ren and Petrucci, Laure},
TITLE = {Modular state space analysis of coloured Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {201-217},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Gomes-Steiger-Garcao/95,
AUTHOR = {Gomes, Luis and Steiger-Gar{\c{c}}{\~a}o, A.},
TITLE = {Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {218-237},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Haddad-Ilie-Taghelit-Zouari/95,
AUTHOR = {Haddad, S. and Ili{\'{e}}, J.M. and Taghelit, M. and Zouari, B.},
TITLE = {Symbolic reachability graph and partial symmetries},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {238-257},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Katoen/95,
AUTHOR = {Katoen, Joost-Peter},
TITLE = {Kausal behaviours and nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {258-277},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lakos/95,
AUTHOR = {Lakos, Charles},
TITLE = {From coloured Petri nets to object Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {278-297},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Lee-Kumagai-Kodama/95,
AUTHOR = {Lee, Dong-Ik and Kumagai, Sadatoshi and Kodama, Shinzo},
TITLE = {Handles and reachability analysis of free choice nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {298-315},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Liu/95a,
AUTHOR = {Liu, Zhen},
TITLE = {Performance bounds for stochastic timed Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {316-334},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Molla-Hosseini-Kerr-Randall-Platfoot/95,
AUTHOR = {Molla-Hosseini, M. and Kerr, R.M. and Randall, R.B. and Platfoot, R.B.},
TITLE = {An inspection model with minimal and major maintenance for a flexible manufacturing cell using generalized stochastic petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {335-356},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Reineke/95,
AUTHOR = {Reineke, Henning},
TITLE = {Subclasses of recognizable trace languages},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {357-373},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Roig-Cortadella-Pastor/95,
AUTHOR = {Roig, Oriol and Cortadella, Jordi and Pastor, Enric},
TITLE = {Verification of asynchronous circuits by BDD-based model checking of Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {374-391},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schmidt/95,
AUTHOR = {Schmidt, Karsten},
TITLE = {Parameterized reachability trees for algebraic Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {392-411},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schof-Sonnenschein-Wieting/95,
AUTHOR = {Sch{\"o}f, Stefan and Sonnenschein, Michael and Wieting, Ralf},
TITLE = {Efficient simulation of THOR nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {412-431},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Schreiber/95,
AUTHOR = {Schreiber, Gerlinde},
TITLE = {Functional equivalences of Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {432-450},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Senac-Saqui-Sannes-Willrich/95,
AUTHOR = {S{\'{e}}nac, Patrick and Saqui-Sannes, Pierre de and Willrich, Roberto},
TITLE = {Hierarchical time stream Petri net: A model for hypermedia systems},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {451-470},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Telek-Bobbio/95,
AUTHOR = {Telek, Mikl{\'{o}}s and Bobbio, Andrea},
TITLE = {Markov regenerative stochastic Petri nets with age type general transitions},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {471-489},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}
@incollection{Valero-Frutos-Cuartero/95,
AUTHOR = {Valero, Valent{\'{i}}n and Frutos, David de and Cuartero, Fernando},
TITLE = {Timed processes of timed Petri nets},
BOOKTITLE = {Proceedings of the 16th International Conference on Application and Theory of Petri Nets, PN'95 (Turin, Italy, June 26-30, 1995)},
SERIES = {LNCS},
VOLUME = {935},
PAGES = {490-509},
YEAR = {1995},
EDITOR = {de Michelis, Giorgio and Diaz, Michel},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg-New York-London-Paris-Tokyo-Hong Kong-Barcelona-Budapest},
}