Sciweavers

969 search results - page 106 / 194
» Recursive Petri nets
Sort
View
TOPNOC
2008
13 years 10 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 10 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 10 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 10 months ago
Modular Analysis of Petri Nets
Søren Christensen, Laure Petrucci