Skip to main content
SpringerLink
Log in

Structuring Acyclic Petri Nets for Reachability Analysis and Control

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

Abstract

The incidence matrices—from places to transitions and vice versa—of an acyclic Petri net can obtain a block-triangular structure by reordering their rows and columns. This allows the efficient solution of some reachability problems for acyclic Petri nets. This result is further used in supervisory control of Petri nets; supervisors for Petri nets with uncontrollable transitions are constructed by extending the method of Yamalidou et al. (1996) to Petri nets where transitions can be executed simultaneously. A large class of Petri nets with uncontrollable transitions is given for which the maximally permissive supervisor can be realized by a Petri net. The original specification is algorithmically transformed—by using the results for acyclic Petri nets—into a new specification to take the presence of uncontrollable transitions into account. The supervisor is obtained by simple matrix multiplications and no linear integer programs need to be solved. Furthermore, a class of Petri nets is given for which the supervisor can be realized by extending the enabling rule with OR-logic.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Boel, R. K., Bordbar, B., and Stremersch, G. 1998. A min-plus polynomial approach to forbidden state control for general Petri nets. Proceedings of the 4th International Workshop on Discrete Event Systems, pp. 79–84.

  • Davey, B. A., and Priestley, H. A. 1990. Introduction to Lattices and Order. Cambridge University Press.

  • Desel, J., and Esparza, J. 1995. Free choice Petri nets number 40. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press.

  • Giua, A., DiCesare, F., and Silva, M. 1992. Generalized mutual exclusion constraints on nets with uncontrollable transitions. Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics, pp. 974–979.

  • Giua, A., DiCesare, F., and Silva, M. 1993. Petri net supervisors for generalized mutual exclusion constraints. Preprints of papers of the 12th IFAC World Congress. Vol. 1. Sydney, Australia, pp. 267–270.

    Google Scholar 

  • Holloway, L. E., and Krogh, B. H. 1990. Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Transactions on Automatic Control 35(5): 514–523.

    Google Scholar 

  • Holloway, L. E., Krogh, B. H., and Giua A. 1997. A survey of Petri net methods for controlled discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 7: 151–190.

    Google Scholar 

  • Holloway, L. E., Guan, X., and Zhang, L. 1996. A generalization of state avoidance policies for controlled Petri nets. IEEE Transactions on Automatic Control 41(6): 804–815.

    Google Scholar 

  • Ichikawa, A., and Hiraishi, K. 1987. Analysis and control of discrete event systems represented by Petri nets. Discrete Event Systems: Models and Applications. Vol. 103 of Lecture Notes in Control and Information Sciences. Springer-Verlag, pp. 115–134.

  • Kostin, A. E. 1997. The novel algorithm for determining the reachability in acyclic Petri nets. SIGACT News 28(2): 70–79.

    Google Scholar 

  • Li, Y., and Wonham, W. M. 1994. Control of vector discrete-event systems—Part 2: controller synthesis. IEEE Transactions on Automatic Control 39(3): 512–531.

    Google Scholar 

  • Moody, J. O., and Antsaklis, P. J. 1998. Petri net supervisors for DES with uncontrollable and unobservable transitions. Technical Report ISIS–98–002. ISIS Group at the University of Notre Dame.

  • Murata, T. 1989. Petri nets: properties, analysis and applications. Proceedings IEEE 77(4): 541–580.

    Google Scholar 

  • Peterson, J. L. 1981). Petri Net Theory and the Modelling of Systems. Prentice-Hall.

  • Stremersch, G., and Boel, R. K. 1999. Controlled Petri nets and general legal sets. Proceedings of the 38th IEEE Conference on Decision and Control, pp. 1731–1736.

  • Stremersch, G., and Boel, R. K. 2000. Reduction of the supervisory control problem for Petri nets. IEEE Transactions on Automatic Control 45(12): 2358–2363.

    Google Scholar 

  • Ushio, T. 1990. Maximally permissive feedback and modular control synthesis in Petri nets with external input places. IEEE Transactions on Automatic Control 35(7): 844–848.

    Google Scholar 

  • Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. 1996. Feedback control of Petri nets based on place invariants. Automatica 32(1): 15–28.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. SYSTeMS, Universiteit Gent, Technologiepark-Zwijnaarde 9, 9052, Gent, Belgium

    G. Stremersch & R. K. Boel

Authors
  1. G. Stremersch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. K. Boel
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Stremersch, G., Boel, R.K. Structuring Acyclic Petri Nets for Reachability Analysis and Control. Discrete Event Dynamic Systems 12, 7–41 (2002). https://doi.org/10.1023/A:1013331703036

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1013331703036

Search

Navigation