325 search results - page 22 / 65 » Controlling Petri Net Process Models |
AIME
2009
Springer
14 years 17 days ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
WSC
2004
13 years 10 months ago
2004
Stochastic Petri nets (SPNs) have proven to be a powerful and enduring graphically-oriented framework for modelling and performance analysis of complex systems. This tutorial focu...
IWSSD
2000
IEEE
14 years 29 days ago
2000
IEEE
In this study we focus on the specification and assessment of Stochastic Petri net (SPN) models to evaluate the design of an embedded system for reliability and availability. The ...
ISTA
2008
13 years 10 months ago
2008
This contribution suggests a novel approach for a systematic generation of a process model in an informal environment. It is based on the claim that the knowledge about the process...