325 search results - page 30 / 65 » Controlling Petri Net Process Models |
PNPM
1987
14 years 3 days ago
1987
We present a stochastic Petri net model of a replicated file system in a distributed environment where replicated files reside on different hosts and a voting algorithm is used to...
DSS
2007
13 years 8 months ago
2007
: As supply chains become more dynamic it is important to be able to model them formally as business processes. In particular, there is a need for a sense and respond capability to...
APN
2004
Springer
14 years 11 days ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
SMC
2007
IEEE
14 years 2 months ago
2007
IEEE
— We present results of a collaboration project, during which parts of General Motors’ north American vehicle supply chain have been modeled and evaluated. A variant of colored...
TII
2011
13 years 3 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...