13. APN 1992: Sheffield, UK

Invited Papers

• Gianfranco Balbo:
  Performance Issues in Parallel Programming. 1-23
  
• Wolfgang Reisig:
  Combining Petri Nets and Other Formal Methods. 24-44
  

Submitted Papers

• C. Autant, Ph. Schnoebelen:
  Place Bisimulations in Petri Nets. 45-61
  
• Kamel Barkaoui, Michel Minoux:
  A Polynomial-Time Graph Algorithm to Decide Liveness of Some Basic Classes of Bounded Petri Nets. 62-75
  
• Carolyn Brown, Doug Gurr:
  Refinement and Simulation of Nets - A Categorical Characterisation. 76-92
  
• Giorgio Bruno, Andrea Castella, Gianpaolo Macario, Mario P. Pescarmona:
  Scheduling Hard Real Time Systems Using High-Level Petri Nets. 93-112
  
• Søren Christensen, Laure Petrucci:
  Towards a Modular Analysis of Coloured Petri Nets. 113-133
  
• Jörg Desel:
  A Proof of the Rank Theorem for Extended Free Choice Nets. 134-153
  
• Susanna Donatelli, Matteo Sereno:
  On the Product Form Solution for Stochastic Petri Nets. 154-172
  
• Greg Findlow:
  Obtaining Deadlock-Preserving Skeletons for Coloured Nets. 173-192
  
• Hans Fleischhack:
  P-Superfairness in Nets. 193-204
  
• Hartmann J. Genrich, Robert M. Shapiro:
  Formal Verification of an Arbiter Cascade. 205-223
  
• Carlos A. Heuser, Gernot Richter:
  Constructs for Modeling Information Systems with Petri Nets. 224-243
  
• Kunihiko Hiraishi:
  Construction of a Class of Safe Petri Nets by Presenting Firing Sequences. 244-262
  
• Peter Kemper, Falko Bause:
  An Efficient Polynomial-Time Algorithm to Decide Liveness and Boundedness of Free-Choice Nets. 263-278
  
• Guenter Klas:
  Hierarchical Solution of Generalized Stochastic Petri Nets by Means of Traffic Processes. 279-298
  
• Andrei Kovalyov:
  Concurrency Relations and the Safety Problem for Petri Nets. 299-309
  
• Johan Lilius:
  High-Level Nets and Linear Logic. 310-327
  
• Vanio M. Savi, Xiaolan Xie:
  Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules. 328-347
  
• Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva:
  On Weighted T-Systems. 348-367
  

Project Papers

• Geoff Cutts, Shaun Rattigan:
  Using Petri Nets to Develop Programs for PLC Systems. 368-372
  
• K. Lemmer, Eckehard Schnieder:
  Modelling and Control of Complex Logistic Systems for Manufacturing. 373-378
  
• Jean Christophe Lloret, J. L. Roux, B. Algayres, M. Chamontin:
  Modelling and Evaluation of a Satellite System Using EVAL*, a Petri Net Based Industrial Tool. 379-383
  
• William W. McLendon Jr., Richard F. Vidale:
  Analysis of an Ada System Using Coloured Petri Nets and Occurrence Graphs. 384-388
  
• Kimmo Varpaaniemi, Marko Rauhamaa:
  The Stubborn Set Method in Practice. 389-393
  
• Linda Wilkens, James Canning, Patrick D. Krolak:
  Modeling Fine Grain Computation via the Fusion of Two Extended Petri Nets. 394-398