Dualities between Nets and Automata Induced by Schizophrenic Objects - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 1995

Dualities between Nets and Automata Induced by Schizophrenic Objects

Abstract

The so-called synthesis problem for nets, which consists in deciding whether a given graph is isomorphic to the case graph of some net, and then constructing the net, has been solved in the litterature for various types of nets, ranging from elementary nets to Petri nets. The common principle for the synthesis is the idea of regions in graphs, representing possible extensions of places in nets. When the synthesis problem has a solution, the set of regions viewed as properties of states provides a set-theoretic representation of the transition system. We show that such correspondences between nets and transition systems can be described as dualities induced by schizophrenic objects living in the corresponding categories, leading further the analogy with classical representation theorems. This gives us a means to describe uniformly previously known translations between nets and automata, and to compare on that basis the related categories of nets.
Fichier principal
Vignette du fichier
RR-2452.pdf (445.88 Ko) Télécharger le fichier

Dates and versions

inria-00074223 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074223 , version 1

Cite

Eric Badouel, Philippe Darondeau. Dualities between Nets and Automata Induced by Schizophrenic Objects. [Research Report] RR-2452, INRIA. 1995. ⟨inria-00074223⟩
65 View
108 Download

Share

Gmail Facebook Twitter LinkedIn More