Sciweavers

1014 search results - page 1 / 203
» ''What Is a Petri Net
Sort
View
APN
2001
Springer
13 years 9 months ago
''What Is a Petri Net?''
The increasing number of Petri net variants naturally leads to the question whether the term “Petri net” is more than a common name for very different concepts. This contribut...
Jörg Desel, Gabriel Juhás
APN
2006
Springer
13 years 8 months ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard
APN
2006
Springer
13 years 8 months ago
On the Construction of Pullbacks for Safe Petri Nets
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
Eric Fabre
AWPN
2008
268views Algorithms» more  AWPN 2008»
13 years 6 months ago
EWFN - A Petri Net Dialect for Tuplespace-Based Workflow Enactment
Abstract Petri nets are a formalism for describing systems where interactions between active components
Daniel Martin, Daniel Wutke, Frank Leymann
COCOON
2003
Springer
13 years 9 months ago
Petri Nets with Simple Circuits
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
Hsu-Chun Yen, Lien-Po Yu