Sciweavers

941 search results - page 95 / 189
» History-Dependent Petri Nets
Sort
View
APN
2007
Springer
14 years 4 months ago
From Many Places to Few: Automatic Abstraction Refinement for Petri Nets
Pierre Ganty, Jean-François Raskin, Laurent...
CALCO
2007
Springer
75views Mathematics» more  CALCO 2007»
14 years 4 months ago
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
ECBS
2006
IEEE
103views Hardware» more  ECBS 2006»
14 years 4 months ago
A State Equation for Petri Nets with Delaying Places
Matthias Werner, Gero Mühl