For the most recent entries see the
Petri Nets Newsletter.
Leuschel, M.
-
Lehmann, Helko;
Leuschel, Michael:
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce.
2004.
-
Farwer, B.;
Leuschel, M.:
Model Checking Object Petri Nets in Prolog.
2003.
-
Varea, Mauricio;
Al-Hashimi, Bashir;
Leuschel, Michael:
Finite and Infinite Model Checking of Dual Transition Petri Net Models.
2002.
-
Lehmann, H.;
Leuschel, M.:
Decidability results for the propositional fluent calculus.
2000.
-
Leuschel, M.;
Lehman, H.:
Coverability of reset Petri nets and other well-structured transition systems by partial deduction.
2000.
-
Leuschel, M.;
Lehmann, H.:
Solving coverability problems of Petri nets by partial deduction.
2000.
-
Leuschel, Michael:
Language and Refinement.
1990.
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