Abstract
This paper addresses the possibility of representing and simulating Petri Nets using an Artificial Intelligence formalism for Reasoning about Actions and Change called Generalized Magnitudes. As a result, we obtain an alternative logical-based formalization for Petri Nets, allowing to apply common techniques in Reasoning about Actions and Change in the analysis of Petri Nets models. Futhermore, we provide the alternative of representing concurrency and synchronization in a Generalized Magnitudes system using a Petri Net.
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
Cabalar, P., Otero, R.P., Cabarcos, M., Barreiro, A.: Introducing Planning in Discrete Event Systems. Computer Aided Systems Theory. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1997. LNCS, vol. 1333, pp. 149–159. Springer, Heidelberg (1997)
Cabarcos, M., Otero, M., Cabalar, P., Otero, R.P.: Efficient concurrrent execution of Medtool expert systems. In: Conference on Artificial Intelligence Applications (EXPERSYS 1996), Paris (1996)
Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Basic Concepts, vol. 1. Analysis Methods, vol. 2. Monographs in Theoretical Computer Science. Springer, Heidelberg (1997)
Otero, R.: Medtool, una herramienta para el desarrollo de sistemas expertos. PhD thesis, Universidade de Santiago (1991)
Otero, R.P., Barreiro, A., Cabalar, P., Lorenzo, D.: Discrete event simulation in an environment for temporal expert systems. In: Albrecht, R., Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1995. LNCS, vol. 1030, pp. 271–282. Springer, Heidelberg (1996)
Otero, R.P., Barreiro, A., Praehofer, H., Pichler, F., Mira, J.: Stims-Medtool: Integration of expert systems with systems modelling and simulation. In: Moreno-Díaz, R., Pichler, F. (eds.) EUROCAST 1993. LNCS, vol. 763, pp. 347–356. Springer, Heidelberg (1994)
Otero, R.P., Cabalar, P.: Pertinence and Causality. In: Proceedings of the 3rd Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), IJCAI 1999, Stockholm. Sweden (1999)
Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall, Engle-wood Cliffs (1991)
Silva, M.: Las Redes de Petri en la Automátion y la Informátion. Ed. AC. Madrid, Spain (1985)
Thielscher, M.: Ramification and Causality. Artificial Intelligence Journal (1997)
Zuberek, W.M.: Timed Petri Nets: Definitions, Properties, and Applications. Microelectronics and Reliability 31(4), 627–644 (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Otero, R.P., Rodríguez, J.M. (2000). Representing Petri Nets in an Action Based Formalism. In: Kopacek, P., Moreno-Díaz, R., Pichler, F. (eds) Computer Aided Systems Theory - EUROCAST’99. EUROCAST 1999. Lecture Notes in Computer Science, vol 1798. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10720123_10
Download citation
DOI: https://doi.org/10.1007/10720123_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67822-9
Online ISBN: 978-3-540-44931-7
eBook Packages: Springer Book Archive