Skip to main content
SpringerLink
Log in

Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method

  • Logical Control
  • Published:
Automation and Remote Control Aims and scope Submit manuscript

Abstract

We describe a methodology of discrete event modeling for a class of distributed objects and their required behavior (specifications) for the design of real time automation systems. In our methodology, we use the structured discrete event system (SDES2) model: on the first stage, it is used to analyze the functionality and coherence of the object and its specification; on the second, we propose for SDES2 a basic synthesis method that works for the models of object and supervisor based on Petri nets (both modeling and controlling). At the same time, we propose to synthesize the supervisor as a Petri net embedded in SDES2 with a feedback circuit in order to restrict the object’s operation according to specification requirements. We propose an interaction mechanism for the modeling and controlling Petri nets with the object and the external environment. In essence, the interaction mechanism is an object control scheme based on the constructed net. This mechanism analyzes the current state of the object and computes the controls that should be passed on to the object’s actuators. Computations are done with a cyclic procedure looping over the matrix representation of the net.

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

  1. Ramadge, J.G. and Wonham, W.M., Supervisory Control of a Class Of Discrete Event Processes, SIAM J. Control Optim., 1987, no. 25, pp. 206–230.

  2. Cassandras, C.G. and Lafortune, S., Introduction to Discrete Event Systems, Dordrecht: Kluwer, 2008.

    Book  MATH  Google Scholar 

  3. Wonham, W.M. and Ramadge, J.G., Modular Supervisory Control of Discrete Event Systems, Math. Control Signal. Syst., 1988, no. 1, pp. 13–30.

  4. Yoo, T.-S. and Lafortune, S., A General Architecture for Decentralized Supervisory Control of Discrete Event Systems, Discrete Event Dynam. Syst.: Theory& Applications, 2002, no. 12(3), pp. 335–347.

  5. De Queiroz, M.H. and Cury, J.E.R., Modular Supervisory Control of Large Scale Discrete Event Systems, Discret. Event Syst.: Anal. Control, Proc. WODES, 2000, pp. 103–110.

  6. Akesson, K., Flordal, H., and Fabian, M., Exploiting Modularity for Synthesis and Verification of Supervisors, Proc. IFAC World Congr., Barcelona, 2002, pp. 1452–1457.

  7. Gaudin, B. and Marchand, H., Modular Supervisory Control of Asynchronous and Hierarchical Finite State Machines, Eur. Control Conf., Cambridge, 2003, pp. 542–547.

  8. Holloway, L.E. and Krogh, V.N., Synthesis of Feedback Logic for a Class of Controlled Petri Nets, IEEE Trans. Autom. Control, 1990, AC-35, no. 5, pp. 514–523.

  9. Yamalidou, K., Moody, J.O., Lemmon, M.D., and Antsaklis, P.J., Feedback Control of Petri Nets Based on Place Invariants, IEEE Trans. Robot. Automat., 1996, vol. 32(1), pp. 15–28.

    MathSciNet  MATH  Google Scholar 

  10. Dideban, A. and Alla, H., Reduction of Constraints for Controller Synthesis Based on Safe Petri Nets, Automatica, 2008, vol. 44(7), pp. 1697–1706.

    Article  MathSciNet  MATH  Google Scholar 

  11. Ambartsumyan, A.A., Supervisory Control of the Structured Dynamic Discrete-Event Systems, Autom. Remote Control, 2009, vol. 70, no. 8, pp. 1406–1424.

    Article  MathSciNet  MATH  Google Scholar 

  12. Golaszewski, C.H. and Ramadge, P.J., Control of Discrete Event Processes with Forced Events, Proc. 28 Conf. on Decision and Control, Los Angeles, 1987, pp. 247–251.

  13. Ambartsumyan, A.A. and Tomilin, E.E., Supervisor Direct Synthesis Method for a Structured Discrete Dynamical System, Autom. Remote Control, 2010, vol. 71, no. 8, pp. 1661–1679.

    Article  MathSciNet  MATH  Google Scholar 

  14. Petrson, J.L., Petri Net Theory and the Modeling of Systems, Englewood Cliffs: Prentice Hall, 1981.

    Google Scholar 

  15. Ghosh, S., Structured Petri Nets, Report 49/77, Lehrstuhl Informatik, Universitat Dortmund, West Germany, August 1977, p. 27.

  16. Tal’, A.A. and Yuditskii, S.A., Hierarchy and Parallelism in Petri Nets. I, II, Autom. Remote Control, 1982, vol. 43, no. 7, part 2, pp. 936–943; no. 9, part 2, pp. 1167–1171.

    MathSciNet  Google Scholar 

  17. Lazarev, V.G. and Piil’, E.I., Sintez upravlyayushchikh avtomatov (Synthesis of Controlling State Machines), Moscow: Energoatomizdat, 1989.

    Google Scholar 

  18. Baranov, S., Logic and System Design of Digital Systems, Tallinn: Univ. Technol. Press, Toronto: SIB Publishers, 2008.

    Google Scholar 

  19. Zakrevskii, A.D., Pottosin, Yu.V., and Cheremisinova L.D., Logicheskie osnovy proektirovaniya diskretnykh ustroistv (Logical Fundamentals for Discrete Devices Design), Moscow: Fizmatlit, 2007.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, Moscow, Russia

    A. A. Ambartsumyan

Authors
  1. A. A. Ambartsumyan
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Original Russian Text © A.A. Ambartsumyan, 2011, published in Avtomatika i Telemekhanika, 2011, No. 8, pp. 151–169.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Ambartsumyan, A.A. Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method. Autom Remote Control 72, 1718–1734 (2011). https://doi.org/10.1134/S0005117911080091

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0005117911080091

Keywords

Search

Navigation