252 search results - page 4 / 51 » A Petri Net Synthesis Method |
74
Voted
MCS
2006
Springer
14 years 9 months ago
2006
Springer
91
Voted
APN
2008
Springer
14 years 11 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, two automati...
CODES
2003
IEEE
15 years 2 months ago
2003
IEEE
Current methods cannot synthesize real-time embedded software applications when the global deadline of a task is shorter than the total of all local deadlines along a critical pat...
78
Voted
ESANN
2008
14 years 11 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...