287 search results - page 27 / 58 » Modular Analysis of Petri Nets |
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
APN
2005
Springer
14 years 2 months ago
2005
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models allowing more...
CIIA
2009
13 years 9 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
EDOC
2008
IEEE
13 years 10 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
AC
2003
Springer
14 years 8 days ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...