Sciweavers

941 search results - page 27 / 189
» Self-Evolving Petri Nets
Sort
View
APN
2001
Springer
14 years 10 days ago
Rewriting Logic as a Unifying Framework for Petri Nets
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...
Mark-Oliver Stehr, José Meseguer, Peter Csa...
GG
2008
Springer
13 years 9 months ago
Open Petri Nets: Non-deterministic Processes and Compositionality
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...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Bar...
GI
2005
Springer
14 years 1 months ago
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows
: 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...
Kamyar Sarshar, Peter Loos
FUIN
2008
80views more  FUIN 2008»
13 years 7 months ago
Complete Process Semantics of Petri Nets
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...
Gabriel Juhás, Robert Lorenz, Sebastian Mau...
BIRTHDAY
2008
Springer
13 years 9 months ago
Transformations in Reconfigurable Place/Transition Systems
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Ju...