Supervisory control of petri nets with language specifications

Lecture Notes in Control and Information Sciences

Volumn 433, Issue , 2013, Pages 235-255

  Giua, Alessandro ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DISCRETE EVENT SIMULATION; SPECIFICATIONS;

CONCURRENT COMPOSITION; LANGUAGE GENERATORS; LANGUAGE SPECIFICATION; PETRI NET LANGUAGES; SUPERVISORY CONTROL; SUPERVISORY CONTROL THEORY;

PETRI NETS;

EID: 84866869340     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4471-4276-8_12     Document Type: Article

References (18)

1. Gaubert, S.,Giua, A.: Petri net languages and infinite subsets of Nm. Journal of Computer and System Sciences 59, 373-391 (1999)
2. Giua, A., DiCesare, F., Silva, M.: Generalized Mutual Exclusion Constraints for Nets with Uncontrollable Transitions. In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, Chicago, USA, pp. 974-799 (1992)
3. Giua, A., DiCesare, F.: Blocking and controllability of Petri nets in supervisory control. IEEE Transactions on Automatic Control 39(4), 818-823 (1994)
4. Giua, A., DiCesare, F.: Decidability and closure properties of weak Petri net languages in supervisory control. IEEE Transactions on Automatic Control 40(5), 906-910 (1995)
5. Holloway, L.E., Krogh, B.H., Giua, A.: A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discrete Event Dynamic Systems 7, 151-190 (1997)
6. Iordache, M.V., Antsaklis, P.J.: Supervision Based on Place Invariants: A Survey. Discrete Event Dynamic Systems 16, 451-492 (2006)
7. Jantzen, M.: Language Theory of Petri Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) APN 1986. LNCS, vol. 254, pp. 397-412. Springer, Heidelberg (1987)
8. Johnen, C., Frutos Escrig, D.: Decidability of home space property. In: LRI 503. Univ. d'Orsay (1989)
9. Moody, J.O., Antsaklis, P.J.: Supervisory Control of Discrete Event Systems Using Petri Nets. Kluwer (1998)
10. Parigot, M., Pelz, E.: A Logical Formalism for the Study of Finite Behaviour of Petri Nets. In: Rozenberg, G. (ed.) APN 1985. LNCS, vol. 222, pp. 346-361. Springer, Heidelberg (1986)
11. Pelz, E.: Closure Properties of Deterministic Petri Net Languages. In: Brandenburg, F.J., Wirsing, M., Vidal-Naquet, G. (eds.) STACS 1987. LNCS, vol. 247, pp. 373-382. Springer, Heidelberg (1987)
12. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
13. Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81-98 (1989)
14. Reutenauer, C.: The Mathematics of Petri Nets. Masson and Prentice-Hall (1990)
15. Sreenivas, R.S.: On the existence of supervisory policies that enforce liveness in discreteevent dynamic systems modeled by controlled Petri nets. IEEE Transactions on Automatic Control 42(7), 928-945 (1997)
16. Sreenivas, R.S.: On minimal representations of Petri net languages. IEEE Transactions on Automatic Control 51(5), 799-804 (2006)
17. Sreenivas, R.S.: On the Existence of Supervisory Policies That Enforce Liveness in Partially Controlled Free-Choice Petri Nets. IEEE Transactions on Automatic Control 57(2), 435-449 (2012)
18. Vidal-Naquet, G.: Deterministic Petri net languages. In: Girault, C., Reisig, W. (eds.) Application and Theory of Petri Net. Informatick-Fachberichte, vol. 52. Springer, New York (1982)