For the most recent entries see the
Petri Nets Newsletter
Keyword: program verification
Solving coverability problems of Petri nets by partial deduction.
Verification in concurrent programming with Petri nets structural techniques.
Verifying SDL programs using Petri nets.
Polynomial-time many-one reductions for Petri nets.
Danhof, Kenneth J.
Zargham, Mehdi R.
A Petri Net Model of Parallel Processing: Performance Analysis and Program Verification.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography