Sciweavers

941 search results - page 51 / 189
» Haskell-Coloured Petri Nets
Sort
View
CALCO
2007
Springer
75views Mathematics» more  CALCO 2007»
14 years 2 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 2 months ago
A State Equation for Petri Nets with Delaying Places
Matthias Werner, Gero Mühl