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