941 search results - page 89 / 189 » Self-Evolving Petri Nets |
PNPM
1989
15 years 1 months ago
1989
We present SPNP, a powerful GSPN package developed at Duke University. SPNP allows the modeling of complex system behaviors. Advanced constructs are available, such as markingdepe...
APN
2001
Springer
15 years 2 months ago
2001
Springer
CPN/Tools is a major redesign of the popular Design/CPN tool from the University of Aarhus CPN group. The new interface is based on advanced, post-WIMP interaction techniques, incl...
TOPNOC
2008
14 years 9 months ago
2008
The key to efficient on-the-fly reachability analysis based on unfolding is to focus the expansion of the finite prefix towards the desired marking. However, current unfolding stra...
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
ACSD
2009
IEEE
15 years 4 months ago
2009
IEEE