Application and Theory of Petri Nets 1992: 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings

Gianfranco Balbo (auth.), K. Jensen (eds.)3540556761, 9783540556763

This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from universities and research institutions. The 1992 conference was organized by the School of Computing and Management Sciences at Sheffield City Polytechnic, England. The volume contains twoinvited papers, by G. Balbo and W. Reisig, 18 submitted papers, and seven project papers. The submitted papers and project presentations were selectedby the programme committee and a panel of referees from a large number of submissions.

---

Table of contents :
Performance issues in parallel programming….Pages 1-23
Combining Petri Nets and other formal methods….Pages 24-44
Place bisimulations in Petri nets….Pages 45-61
A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets….Pages 62-75
Refinement and simulation of nets — a categorical characterisation….Pages 76-92
Scheduling hard real time systems using high-level Petri nets….Pages 93-112
Towards a modular analysis of coloured Petri nets….Pages 113-133
A proof of the Rank Theorem for extended free choice nets….Pages 134-153
On the product form solution for Stochastic Petri Nets….Pages 154-172
Obtaining deadlock-preserving skeletons for coloured nets….Pages 173-192
P-superfairness in nets….Pages 193-204
Formal verification of an arbiter cascade….Pages 205-223
Constructs for modeling information systems with Petri nets….Pages 224-243
Construction of a class of safe Petri nets by presenting firing sequences….Pages 244-262
An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets….Pages 263-278
Hierarchical solution of generalized Stochastic Petri Nets by means of traffic processes….Pages 279-298
Concurrency relations and the safety problem for Petri nets….Pages 299-309
High-level nets and linear logic….Pages 310-327
Liveness and boundedness analysis for Petri nets with event graph modules….Pages 328-347
On weighted T-systems….Pages 348-367
Using Petri Nets to develop programs for PLC systems….Pages 368-372
Modelling and control of complex logistic systems for manufacturing….Pages 373-378
Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool….Pages 379-383
Analysis of an Ada system using coloured Petri nets and occurrence graphs….Pages 384-388
The stubborn set method in practice….Pages 389-393
Modeling fine grain computation via the Fusion of two extended Petri nets….Pages 394-398