Sciweavers

1019 search results - page 95 / 204
» Transformations of Petri Nets
Sort
View
APN
2007
Springer
16 years 14 days 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»
16 years 14 days ago
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...