Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Automatic verification of finite-state concurrent systems....Pages 1-1
The application of Petri nets to the modeling, analysis and control of intelligent urban traffic networks....Pages 2-15
On the model of computation of place/transition Petri nets....Pages 16-38
B-W analysis: A backward reachability analysis for diagnostic problem solving suitable to parallel implementation....Pages 39-58
Probabilistic validation of a Remote Procedure Call protocol....Pages 59-78
Occurrence graphs for Interval Timed Coloured Nets....Pages 79-98
Implementation of weighted place/transition nets based on Linear Enabling Functions....Pages 99-118
Hierarchical High Level Petri Nets for complex system analysis....Pages 119-138
Modeling symmetric computer architectures by SWNs....Pages 139-158
Coloured Petri Nets extended with channels for synchronous communication....Pages 159-178
Petri nets with marking-dependent arc cardinality: Properties and analysis....Pages 179-198
New structural invariants for Petri nets analysis....Pages 199-218
Time Stream Petri Nets a model for timed multimedia information....Pages 219-238
A term representation of P/T systems....Pages 239-257
Superposed Generalized Stochastic Petri Nets: Definition and efficient solution....Pages 258-277
Verification of recipe-based control procedures by means of predicate/transition nets....Pages 278-297
Towards comprehensive support for the dynamic analysis of Petri net based models....Pages 298-317
Partial order semantics of Box expressions....Pages 318-337
A general systematic approach to arc extensions for coloured Petri Nets....Pages 338-357
Liveness in bounded Petri nets which are covered by T-invariants....Pages 358-375
Modelling the work flow of a nuclear waste management program....Pages 376-395
Data structures and algorithms for extended state space and structural level reduction of the GSPN model....Pages 396-415
Petri net analysis using boolean manipulation....Pages 416-435
Modelling of pilot behaviour using petri nets....Pages 436-453
Simulation and analysis of a document storage system....Pages 454-470
Cooperative Nets....Pages 471-490
Well-formedness of Equal Conflict systems....Pages 491-510
Symbolic, symmetry, and stubborn set searches....Pages 511-530
Compositional analysis with place-bordered subnets....Pages 531-547
On combining the stubborn set method with the sleep set method....Pages 548-567
OR causality: Modelling and hardware implementation....Pages 568-587