Specification of a batch plant using process algebra and Petri nets

A modelling framework for general routing and resource allocation systems is presented. The task is to specify desired routes for individual objects (products, data packets, vehicles), which are to be served by a number of shared resources (machines, computers, communication links). Based on simple booking models for the resources and routing specifications for the objects, a controller that synchronizes the objects utilization of the available resources is automatically generated. A high level language is presented in order to simplify the specification of desired routes. This modelling language combines Petri nets and process algebra. Process operators are introduced for specification of alternative, synchronization, start and stop process, and restriction, which are applied in order to model join and split operations. This language results in a compact and efficient representation of complex routing specifications.

[1]  Aa Twan Basten,et al.  In terms of nets : system design with Petri nets and process algebra , 1998 .

[2]  André Arnold,et al.  Finite transition systems - semantics of communicating systems , 1994, Prentice Hall international series in computer science.

[3]  Maciej Koutny,et al.  Petri Nets, Process Algebras and Concurrent Programming Languages , 1996, Petri Nets.

[4]  Jordi Cortadella,et al.  Combining process algebras and Petri nets for the specification and synthesis of asynchronous circuits , 1996, Proceedings Second International Symposium on Advanced Research in Asynchronous Circuits and Systems.

[5]  Panos Rondogiannis,et al.  Petri-Net-Based Deadlock Analysis of Process Algebra Programs , 1994, Sci. Comput. Program..

[6]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[7]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[8]  Bengt Lennartson,et al.  Modeling and specification of discrete event systems using combined process algebra and Petri nets , 2001, 2001 IEEE/ASME International Conference on Advanced Intelligent Mechatronics. Proceedings (Cat. No.01TH8556).

[9]  Bengt Lennartson,et al.  Modeling Primitives for Supervisory Control , 1998 .

[10]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[11]  Robert de Simone,et al.  Petri Nets and Algebraic Calculi of Processes , 1985, STACS.

[12]  Richard Mayr.  Combining Petri Nets and PA-Processes , 1997, TACS.

[13]  Robert de Simone,et al.  Petri Nets and Algebraic Calculi of Processes , 1985, STACS.

[14]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .