Sciweavers

1019 search results - page 112 / 204
» Petri Net Transformations in the
Sort
View
TOPNOC
2008
13 years 7 months ago
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...
JIB
2007
79views more  JIB 2007»
13 years 7 months ago
A High-Level Petri Net Framework for Genetic Regulatory Networks
Richard Banks, L. Jason Steggles
ACJ
2000
44views more  ACJ 2000»
13 years 7 months ago
A Slicing-based Approach to Enhance Petri Net Reachability Analysis
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon, H. N. K...
CJ
2000
52views more  CJ 2000»
13 years 7 months ago
Modular Analysis of Petri Nets
Søren Christensen, Laure Petrucci