350 search results - page 10 / 70 » Petri Net Analysis Using Invariant Generation |
EDOC
2008
IEEE
14 years 19 days 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...
VALUETOOLS
2006
ACM
14 years 4 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
CHARME
2001
Springer
14 years 3 months ago
2001
Springer
We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...
BPM
2000
Springer
14 years 2 months ago
2000
Springer
Workflow management systems facilitate the everyday operation of business processes by taking care of the logistic control of work. In contrast to traditional information systems, ...