Petri Net Discovery of Discrete Event Processes by Computing T-invariants
Résumé
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.
Domaines
Automatique / Robotique
Origine : Fichiers produits par l'(les) auteur(s)
Loading...