For the most recent entries see the
Petri Nets Newsletter.
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.
Model Checking Object Petri Nets in Prolog.
Finite and Infinite Model Checking of Dual Transition Petri Net Models.
Decidability results for the propositional fluent calculus.
Coverability of reset Petri nets and other well-structured transition systems by partial deduction.
Solving coverability problems of Petri nets by partial deduction.
Language and Refinement.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography