Sciweavers

22 search results - page 1 / 5
» Introducing Structural Dynamic Changes in Petri Nets: Marked...
Sort
View
ECEASST
2008
73views more  ECEASST 2008»
13 years 5 months ago
Negative Application Conditions for Reconfigurable Place/Transition Systems
: This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and ...
Alexander Rein, Ulrike Prange, Leen Lambers, Kathr...
ICALP
2005
Springer
13 years 10 months ago
Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
FUIN
2007
108views more  FUIN 2007»
13 years 5 months ago
An Axiomatization of the Token Game Based on Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou
ICARCV
2006
IEEE
128views Robotics» more  ICARCV 2006»
13 years 11 months ago
Modeling Supply Chain Configuration Based on Colored Petri Nets
—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...
Lianfeng Zhang, Xiao You, Jianxin Jiao, Petri Helo