Solving coverability problems of petri nets by partial deduction.

Michael Leuschel Helko Lehmann

Published in: PPDP (2000)

Keyphrases

petri net
manufacturing systems
discrete event systems
colored petri nets
petri net model
partial deduction
high level petri nets
decision making
logic programs
service composition
fuzzy petri net
knowledge representation
low cost
ims ld
sequence diagrams