Skip to Main content Skip to Navigation
Reports

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.
Complete list of metadatas

Cited literature [2 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00744807
Contributor : Loïc Paulevé <>
Submitted on : Tuesday, October 23, 2012 - 11:52:29 PM
Last modification on : Tuesday, March 5, 2019 - 9:35:06 AM
Document(s) archivé(s) le : Saturday, December 17, 2016 - 3:51:17 AM

File

PHvsPN.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00744807, version 1

Citation

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

Share

Metrics

Record views

436

Files downloads

103