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

Edmund M. Clarke (auth.), Robert Valette (eds.)3540581529, 9783540581529

This volume contains the proceedings of the 15th International Conference on Application and Theory of Petri Nets, held at Zaragoza, Spain in June 1994. The annual Petri net conferences are usually visited by some 150 – 200 Petri net experts coming from academia and industry all over the world.
The 28 full papers were selected out of in total 85 submissions from 18 countries. Together with the 3 invited contributions, these papers give a state-of-the-art report on all relevant aspects of Petri nets.

---

Table of contents :
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