Sciweavers

941 search results - page 51 / 189
» Haskell-Coloured Petri Nets
Sort
View
61
Voted
CALCO
2007
Springer
75views Mathematics» more  CALCO 2007»
15 years 7 months ago
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
96
Voted
DASC
2006
IEEE
15 years 6 months ago
Measuring Quantitative Dependability Attributes in Digital Publishing Using Petri Net Workflow Modeling
Gustavo A. Chaparro-Baquero, Nayda G. Santiago, Wi...
ECBS
2006
IEEE
103views Hardware» more  ECBS 2006»
15 years 6 months ago
A State Equation for Petri Nets with Delaying Places
Matthias Werner, Gero Mühl