16. APN 1995: Turin, Italy

Giorgio De Michelis, Michel Diaz (Eds.): Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings. Lecture Notes in Computer Science 935 Springer 1995, ISBN 3-540-60029-9 BibTeX

@proceedings{DBLP:conf/apn/1995,
  editor    = {Giorgio De Michelis and
               Michel Diaz},
  title     = {Application and Theory of Petri Nets 1995, 16th International
               Conference, Turin, Italy, June 26-30, 1995, Proceedings},
  booktitle = {Application and Theory of Petri Nets},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {935},
  year      = {1995},
  isbn      = {3-540-60029-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Papers

Eike Best, Maciej Koutny: A Refined View of the Box Algebra. 1-20 BibTeX
Friedemann Mattern: Distributed Algorithms and Causally Consistent Observations. 21-22 BibTeX
Klaus Voss: Petri Nets for Information Systems Modelling. 23-24 BibTeX

Full Papers

Kamel Barkaoui, Jean-Michel Couvreur, Claude Dutheillet: On Liveness in Extended non Self-Controlling Nets. 25-44 BibTeX
Twan Basten, Marc Voorhoeve: An Algebraic Semantics for Hierarchical P/T Nets. 45-65 BibTeX
Rémi Bastide, Philippe A. Palanque: A Petri Net based Environment for the Design of Event-driven Interfaces. 66-83 BibTeX
Eugenio Battiston, Oliver Botti, E. Crivelli, Fiorella de Cindio: An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets. 84-102 BibTeX
Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz: A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)². 103-120 BibTeX
Robert Brgan, Denis Poitrenaud: An Efficient Algorithm for the Computation of Stubborn Sets of Well Formed Petri Nets. 121-140 BibTeX
Giorgio Bruno, Andrea Castella, Rakesh Agarwal, Mario P. Pescarmona: CAB: an Environment for Developing Concurrent Application. 141-160 BibTeX
Peter Buchholz: A Notion of Equivalence for Stochastic Petri Nets. 161-180 BibTeX
Stefano Caselli, Gianni Conte, P. Marenzoni: Parallel State Space Exploration for GSPN Models. 181-200 BibTeX
Søren Christensen, Laure Petrucci: Modular State Space Analysis of Coloured Petri Nets. 201-217 BibTeX
Luís Gomes, Adolfo Steiger-Garção: Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning. 218-237 BibTeX
Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari: Symbolic Reachability Graph and Partial Symmetries. 238-257 BibTeX
Joost-Pieter Katoen: Causal Behaviours and Nets. 258-277 BibTeX
Charles Lakos: From Coloured Petri Nets to Object Petri Nets. 278-297 BibTeX
Dong-Ik Lee, Sadatoshi Kumagai, Shinzo Kodama: Handles and Reachability Analysis of Free Choice Nets. 298-315 BibTeX
Zhen Liu: Performance Bounds for Stochastic Timed Petri Nets. 316-334 BibTeX
M. Molla-Hosseini, R. M. Kerr, R. B. Randall, R. B. Platfoot: An Inspection Model with Minimal and Major Maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets. 335-356 BibTeX
Henning Reineke: Subclasses of Recognizable Trace Languages. 357-373 BibTeX
Oriol Roig, Jordi Cortadella, Enric Pastor: Verification of Asynchronous Circuits by BDD-based Model Checking of Petri Nets. 374-391 BibTeX
Karsten Schmidt: Parameterized Reachability Trees for Algebraic Petri Nets. 392-411 BibTeX
Stefan Schöf, Michael Sonnenschein, Ralf Wieting: Efficient Simulation of THOR Nets. 412-431 BibTeX
Gerlinde Schreiber: Functional Equivalences of Petri Nets. 432-450 BibTeX
Patrick Sénac, Pierre de Saqui-Sannes, Roberto Willrich: Hierarchical Time Stream Petri Net: A Model for Hypermedia Systems. 451-470 BibTeX
Miklós Telek, Andrea Bobbio: Markov Regenerative Stochastic Petri Nets with Age Type General Transitions. 471-489 BibTeX
Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero: Timed Processes of Timed Petri Nets. 490-509 BibTeX