Siphon and trap generation in an incremental design process based on Petri nets

This paper addresses the generation of basis siphons and traps of Petri net models obtained using an incremental modelling approach. The goal is to provide an efficient tool for detecting deadlocks along the modelling process and to detect design errors as soon as possible. Efficient algorithms for generating basis siphons and traps when a transition or a place is added to an existing Petri net model are proposed.

[1]  Joël Favrel,et al.  Generalized Petri Net Reduction Method , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[2]  Xiaolan Xie,et al.  Liveness and Boundedness Analysis for Petri Nets with Event Graph Modules , 1992, Application and Theory of Petri Nets.

[3]  MengChu Zhou,et al.  Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources , 1991, IEEE Trans. Robotics Autom..

[4]  Gérard Berthelot,et al.  Checking properties of nets using transformation , 1985, Applications and Theory in Petri Nets.

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

[6]  Tilak Agerwala,et al.  A Synthesis Rule for Concurrent Systems , 1978, 15th Design Automation Conference.

[7]  Frank DiCesare,et al.  Modular transformation methods for generalized Petri nets and their application to automated manufacturing systems , 1991, IEEE Trans. Syst. Man Cybern..

[8]  Ichiro Suzuki,et al.  A Method for Stepwise Refinement and Abstraction of Petri Nets , 1983, J. Comput. Syst. Sci..

[9]  M. Zhou,et al.  A top-down approach to systematic synthesis of Petri net models for manufacturing systems , 1989, Proceedings, 1989 International Conference on Robotics and Automation.

[10]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[11]  Joël Favrel,et al.  Hierarchical reduction method for analysis and decomposition of Petri nets , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[12]  Erwin R. Boer,et al.  Generating basis siphons and traps of Petri nets using the sign incidence matrix , 1994 .

[13]  Robert Valette,et al.  Analysis of Petri Nets by Stepwise Refinements , 1979, J. Comput. Syst. Sci..

[14]  Carolyn L. Beck,et al.  Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems , 1987 .

[15]  Xiaolan Xie,et al.  A class of Petri nets for manufacturing system integration , 1997, IEEE Trans. Robotics Autom..