12. APN 1991: Gjern, Denmark

• Ghassan Chehaibar:
  Replacement of Open Interface Subnets and Stable State Transformation Equivalence. 1-25
  
• Ludmila Cherkasova, Rodney R. Howell, Louis E. Rosier:
  Bounded Self-Stabilizing Petri Nets. 26-50
  
• Jean-Michel Couvreur, Serge Haddad, J. F. Peyre:
  Generative Families of Positive Invariants in Coloured Nets Sub-Classes. 51-70
  
• René David, Hassane Alla:
  Autonomous And Timed Continous Petri Nets. 71-90
  
• John B. Evans:
  The Devnet: a Petri Net for Discrete Event Simulation. 91-125
  
• Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva:
  A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. 126-147
  
• Rainer Fehling:
  A Concept of Hierarchical Petri Nets with Building Blocks. 148-168
  
• Frits Feldbrugge:
  Petri Net Tool Overview 1992. 169-209
  
• Alain Finkel:
  The Minimal Coverability Graph for Petri Nets. 210-243
  
• Roberto Gorrieri, Ugo Montanari:
  Distributed Implementation of CCS. 244-266
  
• R. Gouet, F. Plo, M. San Miguel, Bernard Ycart:
  Saturation Conditions For Stochastic Petri Nets. 267-280
  
• S. Lafitt, Jean-Marie Proth, X. L. Xie:
  Marking Optimization In Timed Event Graphs. 281-300
  
• Markus Lindquist:
  Parameterized Reachability Trees for Predicate/Transition Nets. 301-324
  
• Yao Li, C. Murray Woodside:
  Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets. 325-349
  
• Giorgio De Michelis:
  Constraints and Extensions in a Calculus of EN Systems. 350-370
  
• Einar Smith:
  Comparability Orders and Measurement. 371-405
  
• Younes Souissi:
  Deterministic Systems of Sequential Processes: a class of structured Petri nets. 406-426
  
• Antti Valmari:
  Compositional State Space Generation. 427-457
  

Last update Tue May 22 23:22:46 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page