From the Process Hitting to Petri Nets and Back

Loïc Paulevé (1) , Morgan Magnin (2) , Olivier Roux (3)

1 IFA - Institut für Automatik - Automatic Control Laboratory
2 IRCCyN - Institut de Recherche en Communications et en Cybernétique de Nantes
3 MeForBio

We define encodings of a Process Hitting into a Petri Net and conversely. It results notably that - the Process Hitting is a sub-class of Petri Nets; - any safe Petri Net can be encoded into a weakly-bisimilar Process Hittings with 3 priority classes. We finally discuss the use of the encoding of a Petri Net into a Process Hitting for providing efficient static analysis of dynamical properties.

Domaines: Théorie et langage formel [cs.FL]

Loïc Paulevé, Morgan Magnin, Olivier Roux. From the Process Hitting to Petri Nets and Back. 2012. ⟨hal-00744807⟩