1019 search results - page 35 / 204 » Transformations of Petri Nets |
113
click to vote
ENASE
2009
14 years 9 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
107
click to vote
APN
2001
Springer
15 years 4 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
15 years 26 days 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...
106
click to vote
GI
2005
Springer
15 years 5 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...
FUIN
2008
14 years 12 months ago
2008
In the first part of this paper we extend the semantical framework proposed in [22] for process and causality semantics of Petri nets by an additional aim, firstly mentioned in the...