For the most recent entries see the
Petri Nets Newsletter.
Model Checking Object Petri Nets in Prolog.
Farwer, B.;
Leuschel, M.
In:
technical report, No. DSSE-TR-2003-4.
School of Electronics and Computer Science, University of Southampton, SO17 1BJ, UK: Declarative Systems and Software Engineering Group,
November 2003.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography