From the Process Hitting to Petri Nets and Back - Archive ouverte HAL Access content directly
Reports Year : 2012

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.
Fichier principal
Vignette du fichier
PHvsPN.pdf (200.56 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00744807 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More