16. APN 1995: Turin, Italy

Invited Papers

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

Full Papers

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