Petri Net Discovery of Discrete Event Processes by Computing T-invariants

Tonatiuh Tapia-Flores (1) , Ernesto López-Mellado (1) , Ana-Paula Estrada-Vargas (2) , Jean-Jacques Lesage (3)

1 CINVESTAV - Centro de Investigacion y de Estudios Avanzados del Instituto Politécnico Nacional
2 Oracle de México
3 LURPA - Laboratoire Universitaire de Recherche en Production Automatisée

In this paper the problem of discovering a Petri net (PN) from sampled events sequences representing the execution of industrial or business processes is addressed. A method for building a 1-bounded PN from a single event sequence S composed of numerous execution traces is presented; it is based on determining causal and concurrency relations between tasks. A technique for computing the t-invariants of the PN from S is proposed; the obtained invariants allow determining the structure of a PN that executes S. The algorithms derived from the method have been implemented and tested on numerous examples of diverse complexity.

Mots clés: Model discovery; Petri Nets; t-invariants

Domaines: Automatique / Robotique

Tonatiuh Tapia-Flores, Ernesto López-Mellado, Ana-Paula Estrada-Vargas, Jean-Jacques Lesage. Petri Net Discovery of Discrete Event Processes by Computing T-invariants. 19th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'14), Sep 2014, Barcelone, Spain. paper 345, 8 p. ⟨hal-01067790⟩