236 search results - page 3 / 48 » On the Algebraic Structure of Petri Nets |
JNW
2010
13 years 5 months ago
2010
—A Petri net synthesis method is proposed, which is the key method to ensure the synthesis net preserving well behaved properties. Conditions of structural liveness preservation ...
ICALP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
TACS
1991
Springer
13 years 10 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...
ACSD
2001
IEEE
13 years 11 months ago
2001
IEEE
This paper presents a method for the automatic synthesis of asynchronous circuits from Petri net specifications. The method is based on a structural encoding of the system in such ...
FM
2009
Springer
14 years 1 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...