305 search results - page 1 / 61 » Petri Net Analysis Using Decision Diagrams |
QEST
2009
IEEE
13 years 11 months ago
2009
IEEE
ECLIPSE
2005
ACM
13 years 6 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...
DATE
1998
IEEE
13 years 8 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
AWPN
2008
13 years 6 months ago
2008
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...