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

Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis

Eric Badouel 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 : The behaviour of pure Petri nets (i.e. without side condition) is given by ordinary automata because all information about concurrency is encoded in the structure of the marking graphs. By contrast, the behaviour of (possibly) impure nets requires higher-dimensional automata: independence should in that case be made explicit. These higher-dimensional automata are step transition systems in the case of general Petri nets and asynchronous transition systems if we restrict to safe Petri nets. The aim of this report is to show that the synthesis problem for nets can reduce to the synthesis problem of pure nets. For that purpose, we discretize an higher-dimensional automaton by splitting its actions and we prove that it is the behaviour of some Petri net if and only if its discretized automaton is the marking graph of some pure Petri
Document type :
Complete list of metadata

Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 1:29:58 PM
Last modification on : Friday, February 4, 2022 - 3:25:32 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:05:43 PM


  • HAL Id : inria-00073681, version 1


Eric Badouel. Splitting of Actions, Higher-Dimensional Automata, and Net Synthesis. [Research Report] RR-3013, INRIA. 1996. ⟨inria-00073681⟩



Record views


Files downloads