论文信息 - Representing Petri Nets in an Action Based Formalism

Representing Petri Nets in an Action Based Formalism

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.

José M. Rodríguez | Ramón P. Otero

[1] Alvaro Barreiro,et al. Introducing Planning in Discrete Event Systems , 1997, EUROCAST.

[2] Wlodzimierz M. Zuberek,et al. Timed Petri nets definitions, properties, and applications , 1991 .

[3] James Lyle Peterson,et al. Petri net theory and the modeling of systems , 1981 .

[4] Franz Pichler,et al. Computer Aided Systems Theory — EUROCAST '95 , 1995, Lecture Notes in Computer Science.

[5] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[6] Herbert Prähofer,et al. STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation , 1993, EUROCAST.

[7] Michael Thielscher,et al. Ramification and Causality , 1997, Artif. Intell..

[8] Roberto Moreno-Díaz,et al. Computer Aided Systems Theory — EUROCAST'97 , 1997, Lecture Notes in Computer Science.

[9] Ramón Pérez Otero. Medtool una herramienta para el desarrollo de sistemas expertos , 1991 .

[10] Franz Pichler,et al. Computer Aided Systems Theory — EUROCAST '93 , 1993, Lecture Notes in Computer Science.

[11] Alvaro Barreiro,et al. Discrete Event Simulation in an Environment for Temporal Expert Systems , 1995, EUROCAST.