A Petri-net Approach to the Control of Discrete-event Systems

Denham, M. J.

doi:10.1007/978-3-642-83548-3_7

M. J. Denham³

Part of the book series: NATO ASI Series ((NATO ASI F,volume 47))

69 Accesses
8 Citations

Abstract

In this paper we describe a theory for the synthesis of supervisory controllers for discrete-event systems such as computing, communication and manufacturing systems. The required behaviour of the system is specified by an invariant relation which must hold during operation of the system and a controller is derived which when combines with the system will ensure the required behaviour. The theory is based on viewing the Petri-net model of the system as a two-sorted algebra and the composition operation as a natural product between two such algebras.

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

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 39.99; Price excludes VAT (USA)

Softcover Book: USD 54.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

References

Bruno G, Balsamo A (1986) Petri net-based object-orientated modelling of distributed systems. Proc. OOPSLA ’86, Sept. 1986, ACM.
Google Scholar
Bruno G, Marchetto G (1986) Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. SE-12, 2:346–357.
Article Google Scholar
Hoare CAR (1978) Communicating sequential processes. Comm. ACM 21, 8:666–677.
Article Google Scholar
Manna Z, Wolper P (1984) Synthesis of communicating processes from temporal logic specifications. ACM Trans. Prog. Lang. and Syst. 6, 1:68–93.
Article Google Scholar
Milner R (1980) A calculus of communicating systems. Lect. Notes in Compo Sci. 92, Springer-Verlag.
Google Scholar
Ostroff JS (1987) Real-time computer control of discrete systems modelled by extended state machines: a temporal logic approach. PhD thesis (Rept. 8618) Dept. of Elec. Eng. Univ. of Toronto.
Google Scholar
Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete-event processes. SIAM J. Contr. and Optim. 25, 1: 206–230.
Article MathSciNet Google Scholar
Winskel G (1985) Petri nets, algebras and morphisms. Tech. Rept. 79, Computer Lab., Univ. of Cambridge.
Google Scholar
Winskel G (1986) Event structures. Tech. Rept. 95, Computer Lab., Univ. of Cambridge.
Google Scholar

Download references

Author information

Authors and Affiliations

School of Computing, Kingston Polytechnic, KT1 2EE, Kingston upon Thames, Surrey, UK
M. J. Denham

Authors

M. J. Denham
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

Department of Computing, Plymouth Polytechnic, Drake Circus, Plymouth, Devon, PL4 8AA, UK
Michael J. Denham
Department of Electrical and Computer Engineering, University of California, Santa Barbara, CA, 93106, USA
Alan J. Laub

Rights and permissions

Reprints and permissions

Copyright information

About this paper

Cite this paper

Denham, M.J. (1988). A Petri-net Approach to the Control of Discrete-event Systems. In: Denham, M.J., Laub, A.J. (eds) Advanced Computing Concepts and Techniques in Control Engineering. NATO ASI Series, vol 47. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-83548-3_7

Download citation

DOI: https://doi.org/10.1007/978-3-642-83548-3_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-83550-6
Online ISBN: 978-3-642-83548-3
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics