From the Process Hitting to Petri Nets and Back - Archive ouverte HAL Accéder directement au contenu
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)
Loading...

Dates et versions

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

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⟩
288 Consultations
84 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More