For the most recent entries see the
Petri Nets Newsletter
Keyword: logic programming
Solving coverability problems of Petri nets by partial deduction.
On temporal logic programming using Petri nets.
Systems Specification, Analysis, and Validation by means of Timed Predicate/Transition Nets and Logic Programming.
A Knowledge-Based Software Environment (KBSE) for Designing Concurrent Processes.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography