189 search results - page 14 / 38 » The unfolding of general Petri nets |
PNPM
1991
14 years 6 days ago
1991
SIGMETRICS
1998
ACM
13 years 8 months ago
1998
ACM
TCSV
2010
13 years 3 months ago
2010
ATVA
2006
Springer
14 years 13 days ago
2006
Springer
Whereas partial order methods have proved their efficiency for the analysis of discrete-event systems, their application to timed systems remains a challenging research topic. Here...
ACSD
2003
IEEE
14 years 11 days ago
2003
IEEE
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...