Real-time scheduling of batch systems using Petri nets and linear logic

This paper presents an approach to model, design and verify scenarios of real-time systems used in the scheduling and global coordination of batch systems. The initial requirements of a system specified with sequence diagrams are translated into a single p-time Petri net model representing the global behavior of the system. For the Petri net fragments involved in conflicts, symbolic production and consumption dates assigned to tokens are calculated based on the sequent calculus of linear logic. These dates are then used for off-line conflict resolution within a token player algorithm used for scenario verification of real-time specifications and which can be seen as a simulation tool for UML interaction diagrams.

[1]  Villani Emilia,et al.  Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach (Advances in Industrial Control) , 2006 .

[2]  Glynn Winskel,et al.  Petri Nets as Models of Linear Logic , 1990, CAAP.

[3]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[4]  Massimo Pacella,et al.  Object-oriented modeling and simulation of flexible manufacturing systems: a rule-based procedure , 2002, Simul. Model. Pract. Theory.

[5]  F. Girault,et al.  A logic for Petri nets , 1997 .

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Tianlong Gu,et al.  A survey of Petri net applications in batch processes , 2002, Comput. Ind..

[8]  Bruce Powel Douglass.  Real-Time UML , 2002, FTRTFT.

[9]  Andrew Kusiak,et al.  Intelligent Systems in Design and Manufacturing , 1994 .

[10]  Shuzhen Yao,et al.  Consistency Checking of UML Dynamic Models Based on Petri Net Techniques , 2006, 2006 15th International Conference on Computing.

[11]  Hassan Gomaa,et al.  Modeling behavioral design patterns of concurrent objects , 2006, ICSE '06.

[12]  Carlo Ghezzi,et al.  A Unified High-level Petri Net Model for Time Critical Systems , 1991 .

[13]  J. Cardoso,et al.  Ordering actions in sequence diagrams of UML , 2001, Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001..

[14]  Stéphane Julia,et al.  Real time scheduling of batch systems , 2000, Simul. Pract. Theory.

[15]  P. Aygalinc,et al.  Structural analysis of p-time Petri nets , 1996 .

[16]  Tianlong Gu,et al.  Timed Petri-net representation for short term scheduling of multiproduct batch plants , 1999, Proceedings of the 1999 American Control Conference (Cat. No. 99CH36251).

[17]  François Taïani,et al.  Composing real-time objects: a case for Petri nets and Girard's linear logic , 2001, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001.

[18]  T. Y. Cheung,et al.  A petri-net-based synthesis methodology for use-case-driven system design , 2006, J. Syst. Softw..

[19]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[20]  Luciano Lavagno,et al.  Uml for Real: Design Of Embedded Real-Time Systems , 2010 .

[21]  Robert Valette,et al.  Reachability and temporal conflicts in t-time Petri nets , 2001, Proceedings 9th International Workshop on Petri Nets and Performance Models.

[22]  Stéphane Julia,et al.  Centralized Architecture for Real Time Scheduling of Batch Systems , 2004 .

[23]  Sanja Petrovic,et al.  SURVEY OF DYNAMIC SCHEDULING IN MANUFACTURING SYSTEMS , 2006 .

[24]  Philip Meir Merlin,et al.  A study of the recoverability of computing systems. , 1974 .

[25]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[26]  Carlo Ghezzi,et al.  A Unified High-Level Petri Net Formalism for Time-Critical Systems , 1991, IEEE Trans. Software Eng..

[27]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[28]  Robert Valette,et al.  Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control , 1997, ICATPN.

[29]  Angelo Furfaro,et al.  Modelling and simulation of complex systems using TPN Designer , 2003, Simul. Model. Pract. Theory.

[30]  Manuel Silva Suárez,et al.  Petri Nets and Production Systems , 1996, Petri Nets.

[31]  Emilia Villani.  Modelling and Analysis of Hybrid Supervisory Systems: A Petri Net Approach , 2006 .

[32]  D. Azzopardi,et al.  Scheduling And Simulation Of Multi-product Batch Process Plant Through Petri Net Modelling , 1994 .

[33]  Tianlong Gu,et al.  Petri-net based formulation and algorithm for short-term scheduling of batch plants , 2005, Comput. Chem. Eng..

[34]  Wolfgang Reisig,et al.  Lectures on Petri Nets II: Applications , 1996, Lecture Notes in Computer Science.

[35]  Carl A. Gunter,et al.  Nets as Tensor Theories , 1989 .

[36]  Frank DiCesare,et al.  Scheduling flexible manufacturing systems using Petri nets and heuristic search , 1994, IEEE Trans. Robotics Autom..

[37]  Manuel Silva Suárez,et al.  Petri Nets for the Design and Operation of Manufacturing Systems , 1997, Eur. J. Control.

[38]  Bruce Powel Douglass,et al.  Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition) , 2004 .