Abstract
The states are used as the fundamental concept (instead of events) and the discrete state change systems (DSCSs) are defined. The possibility of DSCSs modelling, control and description of behaviour specifications using the presented state relation approach is investigated. The generalized T-invariants of Petri nets are defined as a special case of the presented approach.
Chapter PDF
Similar content being viewed by others
References
Capkovic, F (1993) Petri Net-based Approach to the Maze Problem Solving. In Balemi, S., Kozak, P. and Smedinga, R. (Ed.) Discrete Event Systems: Modelling and Control,. Proc. of a Joint Workshop held in Prague, 1992, Birkhäuser, 173–179.
Juhâs, G. and Kocian, M. (1994) Generalized T-Invariants of Petri Nets and Control of DEDS. In Preprints of Ist IFAC Workshop on New Trends in Design of Control Systems 1994, Smolenice, Slovakia, 408–413.
Juhâs, G. and Kocian, M. (1995) Invariant Relation Behaviour in Petri Nets. In Snorek, Sujansky, and Verbraeck (Ed.) Modelling and Simulation 1995, ESM95, Prague, Czech Republic, A publication of the [SCS], 160–164.
Klir, G. J. (1972) (Ed.)Trends in General System Theory, Wiley - Interscience, New York.
Kumar, R., Garg, V., and Marcus, S.I. (1993) Predicate and Predicate Transformers for Supervisory Control of Discrete Event Dynamic Systems. IEEE tr. on Automatic Control, Vol. 38, N. 2, 232–247.
Lautenbach, K. (1986) Linear Algebraic Techniques for Place/Transitions Nets. In: Proceedings of an Advanced Course on Petri Nets, LNCS 254, 142–167.
Ramadge, P. and Wonham, W.M. (1989). The Control of Discrete Event Dynamic Systems. Proceedings of the IEEE, Vol. 77, N. 1, 81–98.
Reisig, W. (1985) Petri Nets. Springer-Verlag, Berlin.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Juhás, G., Kocian, M. (1996). Invariant state progress and relation modelling of DEDS. In: Doležal, J., Fidler, J. (eds) System Modelling and Optimization. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34897-1_15
Download citation
DOI: https://doi.org/10.1007/978-0-387-34897-1_15
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6671-4
Online ISBN: 978-0-387-34897-1
eBook Packages: Springer Book Archive