From the Process Hitting to Petri Nets and Back

Abstract : 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.
Type de document :
Rapport
2012
Liste complète des métadonnées


https://hal.archives-ouvertes.fr/hal-00744807
Contributeur : Loïc Paulevé <>
Soumis le : mardi 23 octobre 2012 - 23:52:29
Dernière modification le : vendredi 16 septembre 2016 - 15:13:57
Document(s) archivé(s) le : samedi 17 décembre 2016 - 03:51:17

Fichier

PHvsPN.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00744807, version 1

Collections

Citation

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

Partager

Métriques

Consultations de
la notice

208

Téléchargements du document

73