Rapport Année : 2012

From the Process Hitting to Petri Nets and Back

Résumé

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.

Fichier principal
Vignette du fichier
PHvsPN.pdf (200.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00744807 , version 1 (23-10-2012)

Licence

Identifiants

  • HAL Id : hal-00744807 , version 1

Citer

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

Partager

  • More