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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Agha, G., DeCindio, F., Rozenberg, G. (eds.): APN 2001. LNCS, vol. 2001. Springer, Heidelberg (2001)
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)
Farwer, B.: A linear logic view of object Petri nets. Fundamenta Informaticae 37, 225–246 (1999)
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)
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)
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)
Holloway, L., Krogh, B.: Synthesis of Feedback Control Logic for Discrete Manufacturing Systems. Automatica 27(4), 641–651 (1991)
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)
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)
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)
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)
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)
Lakos, C.A.: Object Oriented Modelling with Object Petri nets. In: Advances in Petri nets. LNCS. Springer, Berlin (1997)
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)
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)
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)
Murata, T.: Petri nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)
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)
Reddy, V.: Modeling Biological Pathways: A discrete event systems approach. Master’s thesis, Institute for Systems Research, University of Maryland (1994)
Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 77(l), 81–98 (1989)
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)
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)
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)
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)
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)
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)
Valk, R., Girault, C. (eds.): Petri Nets for Systems Engineering—A Guide to Modeling, Verification, and Applications. Springer, Heidelberg (2003)
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)
Yamalidou, K., Moody, J., Lemmon, M., Antsaklis, P.: Feedback control of Petri nets based on place invariants. Automatica 32(l), 15–28 (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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