15. APN 1994: Zaragoza, Spain

Invited Papers

• Edmund M. Clarke:
  Automatic Verification of Finite-state Concurrent Systems. 1
  
• Frank DiCesare, Paul T. Kulp, Michael Gile, George List:
  The Application of Petri Nets to the Modeling, Analysis and Control of Intelligent Urban Traffic Networks. 2-15
  
• José Meseguer, Ugo Montanari, Vladimiro Sassone:
  On the Model of Computation of Place/Transition Petri Nets. 16-38
  

Full Papers

• Cosimo Anglano, Luigi Portinale:
  B-W Analysis: A Backward Reachability Analysis for Diagnostic Problem Solving Suitable to Parallel Implementation. 39-58
  
• N. Bennacer, Gerard Florin, C. Fraize, Stéphane Natkin:
  Probabilistic Validation of a Remote Procedure Call Protocol. 59-78
  
• Gérard Berthelot, Hanifa Boucheneb:
  Occurrence Graphs for Interval Timed Coloured Nets. 79-98
  
• José Luis Briz, José Manuel Colom:
  Implementation of Weighted Place/Transition Nets Based on Linear Enabling Functions. 99-118
  
• Peter Buchholz:
  Hierarchical High Level Petri Nets for Complex System Analysis. 119-138
  
• Giovanni Chiola, Giuliana Franceschinis, Rossano Gaeta:
  Modeling Symmetric Computer Architectures by SWNs. 139-158
  
• Søren Christensen, Niels Damgaard Hansen:
  Coloured Petri Nets Extended with Channels for Synchronous Communication. 159-178
  
• Gianfranco Ciardo:
  Petri Nets with Marking-Dependent Ar Cardinality: Properties and Analysis. 179-198
  
• Jean-Michel Couvreur, Emmanuel Paviot-Adet:
  New Structural Invariants for Petri Nets Analysis. 199-218
  
• Michel Diaz, Patrick Sénac:
  Time Stream Petri Nets: A Model for Timed Multimedia Information. 219-238
  
• Cheryl Dietz, Gerlinde Schreiber:
  A Term Representation of P/T Systems. 239-257
  
• Susanna Donatelli:
  Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. 258-277
  
• Hartmann J. Genrich, Hans-Michael Hanisch, Konrad Wöllhaf:
  Verification of Recipe-Based Control Procedures by Means of Predicate/Transition Nets. 278-297
  
• Rudolf K. Keller, Marianne Ozkan, Xijin Shen:
  Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models. 298-317
  
• Maciej Koutny:
  Partial Order Semantics of Box Expressions. 318-337
  
• Charles Lakos, Søren Christensen:
  A General Systematic Approach to Arc Extensions for Coloured Petri Nets. 338-357
  
• Kurt Lautenbach, Hanno Ridder:
  Liveness in Bounded Petri Nets Which Are Covered by T-Invariants. 358-375
  
• Kjeld Høyer Mortensen, Valerio O. Pinci:
  Modelling the Work Flow of a Nuclear Waste Management Program. 376-395
  
• Donna S. Nielsen, Leonard Kleinrock:
  Data Structures and Algorithms for Extended State Space and Structural Level Reduction of the GSPN Model. 396-415
  
• Enric Pastor, Oriol Roig, Jordi Cortadella, Rosa M. Badia:
  Petri Net Analysis Using Boolean Manipulation. 416-435
  
• W. Ruckdeschel, Reiner Onken:
  Modelling of Pilot Behaviour Using Petri Nets. 436-453
  
• Gert Scheschonk, Michael Timpe:
  Simulation and Analysis of a Document Storage System. 454-470
  
• Christophe Sibertin-Blanc:
  Cooperative Nets. 471-490
  
• Enrique Teruel, Manuel Silva:
  Well-Formedness of Equal Conflict Systems. 491-510
  
• Mikko Tiusanen:
  Symbolic, Symmetry, and Stubborn Set Searches. 511-530
  
• Antti Valmari:
  Compositional Analysis with Place-Bordered Subnets. 531-547
  
• Kimmo Varpaaniemi:
  On Combining the Stubborn Set Method with the Sleep Set Method. 548-567
  
• Alexandre Yakovlev, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno:
  OR Causality: Modelling and Hardware Implementation. 568-587