Skip to main content
SpringerLink
Log in

Controller Synthesis for Object Petri Nets

  • Conference paper
Formal Methods and Software Engineering (ICFEM 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2885))

Included in the following conference series:

  • 413 Accesses

Abstract

A large class of real-world systems can be modelled as Petri nets, and complex systems are more conveniently modelled as object Petri nets. Ensuring that Petri net models avoid forbidden states has attracted much research effort. The work presented addresses the forbidden state problem for object Petri nets, through a method for controller synthesis. A simple illustrative example is given as well as an illustration in a flexible manufacturing system. The concept of place invariants plays an important role in Petri net theory. For the first time, place invariants are defined for object Petri nets.

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)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Agha, G., DeCindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol. 2001. Springer, Heidelberg (2001)

    MATH  Google Scholar 

  2. Boel, R., Ben-Naoum, L., Van Breusegem, V.: On the forbidden state problem for a class of controlled Petri nets. IEEE Transactions on Automatic Control 40(10), 1717–1731 (1995)

    Article  MATH  Google Scholar 

  3. Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae 37, 225–246 (1999)

    MATH  MathSciNet  Google Scholar 

  4. Farwer, B., Misra, K.: Hierarchical Object Systems. In: Burkhard, H.-D., Czaja, L., Lindemann, G., Skowron, A., Starke, P. (eds.) Proceedings oj Concurrency, Specification and Programming—CS&P, Berlin, October 2002, vol. 161, pp. 143–163. Informatik-Berichte Humboldt-Universitat zu Berlin (2002)

    Google Scholar 

  5. Farwer, B., Misra, K.: Dynamic Modification of System Structures using LLPNs. In: Broy, M., Zamulin, A.V. (eds.) PSI 2003. LNCS, vol. 2890, pp. 274–293. Springer, Heidelberg (2004) (to appear)

    Chapter  Google Scholar 

  6. Farwer, B., Moldt, D., García-Vallés, F.: An Approach to Modelling FMS [Flexible Manufacturing Systems] with Dynamic Object Petri Nets. In: Proceedings of the 2002 IEEE International Conference on Systems, Man and Cybernetics, October 2002, pp. 1–9. IEEE, Los Alamitos (2002)

    Google Scholar 

  7. Holloway, L., Krogh, B.: Synthesis of Feedback Control Logic for Discrete Manufacturing Systems. Automatica 27(4), 641–651 (1991)

    Article  Google Scholar 

  8. Holloway, L., Krogh, B., Giua, A.: A survey of Petri net methods for controlled discrete event systems. Discrete Dynamic Systems: Theory and Applications 7(2), 151–190 (1997)

    Article  MATH  Google Scholar 

  9. Ichikawa, A., Hiraishi, K.: Analysis and control of discrete event systems represented by Petri nets. In: Lecture Notes in Control and Information Sciences, vol. 103, pp. 115–134. Springer, Heidelberg (1988)

    Google Scholar 

  10. Jorgensen, J.: Coloured petri nets in development of a pervasive health care system. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 256–275. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Kis, T., Neuendorf, K.-P., Xirouchakis, P.: Scheduling with Chameleon Nets. In: Farwer, B., Moldt, D., Stehr, M.-O. (eds.) Proceedings of the Workshop on Petri Nets in System, Engineering (PNSE 1997), pp. 67–77. Universitat Hamburg (1997)

    Google Scholar 

  12. Krogh, B.: Controlled Petri nets and maximally permissive feedback logic. In: Proceedings of the 25thAnnual Allerton Conference on Communication, Control and Computing, Monticello, Illinois, pp. 317–326 (1987)

    Google Scholar 

  13. Lakos, C.A.: Object Oriented Modelling with Object Petri nets. In: Advances in Petri nets. LNCS. Springer, Berlin (1997)

    Google Scholar 

  14. Lakos, C., Lamp, J., Keen, C., Marriott, B.: Modelling Network Protocols with Object Petri Nets. In: Workshop on Petri Nets Applied to Protocols, pp. 31–42 (1995)

    Google Scholar 

  15. Lu, Y., Wei, G., Cheung, T.-Y.: Managing Feature Interactions in Telecommunications Systems by Temporal Colored Petri Nets. In: Proceedings of the Seventh International Conference on Engineering of Complex Computer Systems, vol. 83, p. 260. IEEE Computer Society, Los Alamitos (2001)

    Google Scholar 

  16. Makungu, M., Barbeau, M., St-Denis, R.: Synthesis of controllers of processes modelled as colored Petri nets. Discrete Event Systems: Theory and Applications 9, 147–169 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  17. Murata, T.: Petri nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  18. Petri, C.: Kommunikation mit Automaten (Communicating with Automata). PhD thesis, University of Darmstadt, 1966. English translation in technical report RADC-TR-65377, Griss Air Force Base (1966)

    Google Scholar 

  19. Reddy, V.: Modeling Biological Pathways: A discrete event systems approach. Master’s thesis, Institute for Systems Research, University of Maryland (1994)

    Google Scholar 

  20. Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 77(l), 81–98 (1989)

    Article  Google Scholar 

  21. Sreenivas, R.: On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modelled by controlled Petri nets. IEEE Transactions on Automatic Control 42(7), 928–945 (1997)

    Article  MATH  MathSciNet  Google Scholar 

  22. Takai, S., Ushio, T., Kodama, S.: Concurrency and Maximally Permissive Feedback in Petri nets with External Input Place. International Journal of Control 60(4), 617–629 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  23. Valk, R.: Petri nets as token objects, an introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  24. Valk, R.: Reference and value semantics for object petri nets. In: Weber, H., Ehrig, H., Reisig, W. (eds.) Colloquium on Petri Net Technologies for Modelling Communication Based Systems, pp. 169–188. Praunhofer Institute for Software and Systems Engineering ISST, Berlin (1999)

    Google Scholar 

  25. Valk, R.: Relating Different Semantics for Object Petri nets. Technical Report B-226-00, TGI - Theoretical Foundations of Computer Science Group, Computer Science, University of Hamburg (June 2000)

    Google Scholar 

  26. Valk, R.: Concurrency in Communicating Object Petri nets. In: Agha, G., de Cindio, F., Rozenberg, G. (eds.) Concurrent Object-Oriented Programming and Petri Nets. LNCS, pp. 164–195. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  27. Valk, R., Girault, C. (eds.): Petri Nets for Systems Engineering—A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)

    Google Scholar 

  28. Yamalidou, K.: Modeling, Optimization and Control of Discrete-Event Chemical Processes Using Petri Net Theory. PhD thesis, University of Notre Dame, Notre Dame, Indiana (1991)

    Google Scholar 

  29. Yamalidou, K., Moody, J., Lemmon, M., Antsaklis, P.: Feedback control of Petri nets based on place invariants. Automatica 32(l), 15–28 (1996)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, D-22527, Hamburg, Germany

    Berndt Farwer

  2. Department of Computer Science, University of Warwick, Coventry, CV4 7AL, United Kingdom

    Saraswati Kalvala & Kundan Misra

Authors
  1. Berndt Farwer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Saraswati Kalvala
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Kundan Misra
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Computing, National University of Singapore, Singapore

    Jin Song Dong

  2. University of York,  

    Jim Woodcock

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Farwer, B., Kalvala, S., Misra, K. (2003). Controller Synthesis for Object Petri Nets. In: Dong, J.S., Woodcock, J. (eds) Formal Methods and Software Engineering. ICFEM 2003. Lecture Notes in Computer Science, vol 2885. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-39893-6_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-39893-6_25

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20461-9

  • Online ISBN: 978-3-540-39893-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation