This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Cassandras C.G., Lafortune S., Introduction to Discrete Event Systems, Kluwer Academic Publishers, Boston 1999.
Ramadge P.J., Wonham W.M., “The Control of Discrete Event Systems”, Proceedings of the IEEE, 77-1, 81–98, 1989.
Boel R., Ben-Naoum L., and Van Breusegem V., On forbidden state problems for a class of controlled Petri nets, IEEE Transactions on Automatic Control, 40(10):1717–1731, 1995.
Boel R., Montoya F., “Modular Synthesis of efficient schedules in a timed discrete event plant”, in Proceedings of the 40th IEEE Conference on Decision and Control, Sydney, 2000.
Boel R., Stremersch G., “Forbidden State Control Synthesis for timed Petrient Models”, in M. Vidyasagar, V. Blondel, E. Sontag and J. Willems, eds., Open Problems in Mathematical Systems and Control Theory, pp. 61–66, Springer Verlag London, 1998.
Banaszak Z., Krogh B., Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation 38(7):724–734, 1990.
Desel J., Esparza, J., Free choice Petri Nets, Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1995.
Holloway L., Krogh B., Synthesis of feedback control logic for a class of controlled Petri nets. IEEE Trabsactions on Automatic Control, 35(5):514–523, 1990.
Li Y., Wonham W.M., Control of vector discrete-event systems, part 2: controller synthesis, IEEE Transactions on Automatic Control, 39(3):512–531, 1994.
Stremersch G., Boel R., On the influencing net and forbidden state control of timed Petri nets with forced transitions. In Proceedings of the 37th IEEE Conference on Decision and Control, pp. 3287–3292, 1998.
Stremersch G., Boel R., Structuring acyclic Petri nets for reachability analysis and control. Discrete Event Dynamical Systems: Theory and Applications, 2000, in print.
Stremersch G., On the union of legal down-sets in supervisory control of Petri nets. In Proceedings of the IEEE Conference on Decision and Control, Sydney, 2000.
Stremersch G., Boel R., Decomposition of the supervisory control problem for Petri nets under preservation of maximal permissiveness, IEEE Transactions on Automatic Control, 2000, to appear.
Peterson J., Petri Net Theory and the Modelling of Systems Prentice-Hall, 1981.
Silva M., Teruel E., Colom J., “Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems”, in Proceedings of the 1998 Conference on Applications and Theory of Petri Nets, Lecture Notes in Computer Sciences, Springer Verlag, 1999, pp. 309–375.
Spacek P., Manier M.-A., El Moudni A., “Control of an Electroplating Line in the Max and Min Algebras”, Systems Science, vol. 30, no. 7, July 1999, pp. 759–778.
van der Aalst W., Interval Timed Coloured Petri Nets and their Analysis, In: Proceedings of the 14th International Conference on the Applications and Theory of Petri Nets, Springer Verlag, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this paper
Cite this paper
Boel, R.K. (2001). Petri nets models of timed discrete event plants. In: Baños, A., Lamnabhi-Lagarrigue, F., Montoya, F.J. (eds) Advances in the control of nonlinear systems. Lecture Notes in Control and Information Sciences, vol 264. Springer, London. https://doi.org/10.1007/BFb0110383
Download citation
DOI: https://doi.org/10.1007/BFb0110383
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-85233-378-2
Online ISBN: 978-1-84628-570-7
eBook Packages: Springer Book Archive