76 search results - page 2 / 16 » Unbounded Petri Net Synthesis |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
—We consider timed Petri nets, i.e., unbounded Petri nets where each token carries a real-valued clock. Transition arcs are labeled with time intervals, which specify constraints...
CDC
2009
IEEE
14 years 2 days ago
2009
IEEE
APN
2007
Springer
14 years 1 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 ...
ESANN
2008
13 years 8 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...
ACSD
2009
IEEE
14 years 14 days ago
2009
IEEE
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention. However, the classical synthesis problems are often n...