Application and Theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20-24, 1994. Proceedings (Lecture Notes in Computer Science, 815)

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.--publisher's Website. Robert Valette (ed.) Proceedings Of The 15th International Conference On Application And Theory Of Petri Nets--pref. Includes Bibliographical References. 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 Annotation 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