252 search results - page 1 / 51 » A Petri Net Synthesis Method |
JNW
2010
13 years 3 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 ...
ACSD
2001
IEEE
13 years 8 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 ...
APN
2007
Springer
13 years 11 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
WSC
2007
13 years 7 months ago
2007
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
The paper presents a new method for the synthesis of Petri nets from event logs in the area of Process Mining. The method derives a bounded Petri net that over-approximates the beh...