HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

On the Synthesis of General Petri Nets

Eric Badouel 1 Philippe Darondeau 1
1 MICAS - Modèles et implémentation des calculs syntaxiques
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : A polynomial algorithm was given by the authors and Bernardinello for synthesizing pure weighted Petri nets from finite labeled transition systems. The limitation to pure nets, serious in practice e.g. for modelling waiting loops in communication protocols, may be removed by a minor adaptation of the algorithm, working for general Petri nets fired sequentially. The rule of sequential firing reduces also the expressivity of Petri nets, since it forces a concurrent interpretation on every diamond. This limitation may also be removed by leaving sequential transition systems and lifting the algorithm to step transition systems, which amounts to extract the effective contents of the coreflection between Petri step transition sytems and general Petri nets established by Mukund. By the way, the categorical correspondences between transition systems or step transition systems and nets are re-examined and simplified to Galois connections in the usual setting of ordered sets.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00073668
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:27:03 PM
Last modification on : Friday, February 4, 2022 - 3:25:26 AM
Long-term archiving on: : Sunday, April 4, 2010 - 11:54:07 PM

Identifiers

  • HAL Id : inria-00073668, version 1

Citation

Eric Badouel, Philippe Darondeau. On the Synthesis of General Petri Nets. [Research Report] RR-3025, INRIA. 1996. ⟨inria-00073668⟩

Share

Metrics

Record views

92

Files downloads

117