82 search results - page 7 / 17 » Modeling Clinical Guidelines through Petri Nets |
77
Voted
WSC
1998
15 years 1 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
100
click to vote
GCC
2003
Springer
15 years 4 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
102
Voted
PE
2006
Springer
14 years 11 months ago
2006
Springer
This paper presents an efficient solution technique for the steady-state analysis of the second-order Stochastic Fluid Model underlying a second-order Fluid Stochastic Petri Net (...
82
Voted
APN
2009
Springer
15 years 3 months ago
2009
Springer
We present a symbolic method for p-semiflow computation, based on zero-suppressed decision diagrams. Both the traditional explicit methods and our new symbolic method rely on Farka...
152
click to vote
DDEP
2000
Springer
15 years 4 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...