Abstract
The supervisory control theory includes constructing a set of models of discrete event systems. These models are to operate concurrently and interact with each other. In this paper the prioritised synchronous composition (PSC) of Petri nets is discussed. The PSC is an important composition formalism because it captures controllability without requiring the supervisor to be complete, for instance. PSC for Petri nets requires testing the number of tokens to be less than the arc weight. One way to realise such tests is to use weighted inhibitor arcs.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
S. Balemi. Control of Discrete Event Processes: Theory and Application. Ph. D. Thesis, Swiss Federal Institute of Technology, Zürich, Switzerland, 1992.
J. Billington. Extensions to Coloured Petri Nets. In: Proceedings of the 3:rd International Workshop on Petri Nets and Performance Models, Kyoto, Japan, 1989.
A. Giua. Petri Nets as Discrete Event Models for Supervisory Control. Ph. D. Thesis, Rensselaer Polytechnic Institute, Troy, New York, USA, 1992.
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, Vol. 8, pp231–274, 1987.
A. Hellgren. Some Aspects of Supervisory Control Theory: Modelling and Implementation. Lie thesis, in preparation.
A. Hellgren, M. Fabian and B. Lennartson. Prioritised Synchronous Composition of Petri Nets Using Priority Petri Nets. Submitted to the 39:th IEEE Conference on Decision and Control, Sydney, Australia, 2000.
M. Heymann. Concurrency and Discrete Event Control. IEEE Control Systems Magazine, 10(4), pp 103–112, 1990.
J. E. Hopcroft and J. E. Ullman, Introduction to Automata Theory, Languages and Computation. Addison-Wesley Series in Computer Science, 1979.
R. Kumar, V. Garg and S. I. Marcus. On Controllability and Normality of Discrete Event Dynamical Systems. Systems and Control Letters, 17, pp 157–168, 1991.
R. Kumar and M. A. Shayman. Nonblocking Supervisory Control of Nondeterministic Systems via Prioritized Synchronization. IEEE Transactions on Automatic Control, 41(8), pp 1160–1175, 1996.
J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981.
P. J. G. Ramadge and W. M. Wonham. The Control of Discrete Event Systems. Proceedings of the IEEE, Vol. 77(1), 81–98, 1989.
K. Åkesson. Recipe Coordination in Chemical Batch Processes. Lie. Thesis, Technical Report No. 330L, Department of Signals and Systems, Chalmers University of Technology, Göteborg, Sweden, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Hellgren, A., Fabian, M., Lennartson, B. (2000). Prioritised Synchronous Composition of Inhibitor ARC Petri Nets. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_49
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_49
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive