For the most recent entries see the
Petri Nets Newsletter
.
Keyword: interval nets
Heiner, Monika
:
On Exploiting the Analysis Power of Petri nets for the Validation of Discrete Event Systems.
1997.
Heiner, Monika
:
Verification and Optimization of Control Programs by Petri Nets without State Explosion.
1997.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography