941 search results - page 34 / 189 » History-Dependent Petri Nets |
ICARCV
2006
IEEE
14 years 2 months ago
2006
IEEE
—This paper introduces an integrated modeling and analysis formalism based on colored Petri nets (CPNs) for supply chain configuration and evaluation. The structural changes of d...
CNSR
2006
IEEE
14 years 2 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
APN
2001
Springer
14 years 1 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
GG
2008
Springer
13 years 10 months ago
2008
Springer
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
GI
2005
Springer
14 years 2 months ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...