Dynamic reconfiguration of software objects using Petri nets and network unfolding

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 4, Issue , 2000, Pages 3069-3074

  Lemmon, Michael ^a   He, Kevin X ^a   Shatz, Sol ^b  

^a University of Notre Dame   (United States)

^b 1120 Science and Engineering Offices   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SYSTEM RECOVERY; DISTRIBUTED COMPUTER SYSTEMS; PETRI NETS;

PARTIAL ORDER METHODS;

SCADA SYSTEMS;

EID: 0034506495     PISSN: 08843627     EISSN: None     Source Type: Journal    
DOI: 10.1109/ICSMC.2000.884469     Document Type: Article

References (20)

1. P.J. Ramadge W.M. Wonham Supervisory control of a class of discrete event processes SIAM Journal of Control and Optimization 25 1 206 230 1987
2. J. Engelfriet Branching processes of Petri nets Acta Informatica 28 575 591 1991
3. Robust software and self-adaptation IEEE Intelligent Systems and Their Applications 14 3 May/June 1999
4. special issue on distributed dynamic systems Communications of the ACM 41 5 May 1998
5. J. Doyle B. Francis A. Tannenbaum Feedback Control Theory 1992 MacMillan Press
6. A. Giua Blocking and Controllability of Petri Nets in Supervisory Control IEEE Trans. on Automatic Control 39 4 1994
7. K. Yamalidou J. Moody M.D. Lemmon P.J. Antsaklis Feedback Control of Petri nets based on Place Invariants Automatica 32 1 15 28 1996
8. J.O. Moody P.J. Antsaklis M.D. Lemmon Application of Automatic Petri Net Control Design proceedings of INRIA/IEEE Conference sur les technologies emergentes et l'automatisation de systemes de fabrication proceedings of INRIA/IEEE Conference sur les technologies emergentes et l'automatisation de systemes de fabrication Paris France
9. K.X. He M.D. Lemmon On the transformation of liveness-enforcing marking based supervisors into monitor supervisors IEEE Conference on Decision and Control, Sydney Australia IEEE Conference on Decision and Control, Sydney Australia 2000-December
10. W.M. Wonham P.J. Ramadge On the supremal controllable sublanguage of a given language SIAM Journal of Control and Optimization 25 3 637 659 May 1987
11. R.S. Sreenivas On supervisory policies that enforce liveness in complete controlled Petri nets with directed cut-places and cut-transitions IEEE Trans. on Automatic Control 44 6 1221 1225 June 1999
12. Y. Li W.M. Wonham control of vector discrete-event systems: controller synthesis IEEE Transactions on Automatic Control 39 3 512 530 1994
13. K.X. He M.D. Lemmon On the existence of liveness-enforcing supervisory policies of discrete-event systems modeled by n-safe Petri nets Proceedings of IFAC conference on: Control System Design Proceedings of IFAC conference on: Control System Design Slovakia 2000-June
14. W. Vogler Modular Construction and Partial Order Semantics of Petri Nets 625 1992 Springer-Verlag
15. P. Godefroid Partial-Order Methods for the Verification of Concurrent Systems-An Approach to the State-Explosion Problem November 1994 University of Liege
16. P. Godefroid P. Wolper Formal Methods in System Design 2 149 164 April 1993 Kluwer Academic Publishers Using Partial Orders for the Efficient Verification of Deadlock Freedom and Safety Properties
17. K. McMillan Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits Computer Aided Verification, 4th International Workshop 663 164 177 Computer Aided Verification, 4th International Workshop 1992
18. A. Kondratyev M. Kishinevsky A. Taubing S. Ten Structural approach for the analysis of Petri nets by reduced unfoldings Proceedings of the 17th International Conference on Application and Theory of Petri Nets Proceedings of the 17th International Conference on Application and Theory of Petri Nets Osaka Japan 1996-June-24-28
19. K.X. He M.D. Lemmon Liveness verification of discrete event systems modeled by n-safe Petri nets Proceedings of the 21st International Conference on Application and Theory of Petri Nets. Denmark Proceedings of the 21st International Conference on Application and Theory of Petri Nets. Denmark 2000-June
20. J. Esparza S. Romer W. Vogler An improvement of McMillan's unfolding algorithm Proceedings of Tools and Algorithms for the Construction and Analysis of Systems 1055 Proceedings of Tools and Algorithms for the Construction and Analysis of Systems 1996