Instruction list verification using a Petri net semantics.

Monika Heiner Thomas Menzel

Published in: SMC (1998)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
manufacturing systems
discrete event systems
web service composition
high level petri nets
service composition
logic programming
ims ld
production process
stochastic petri net
model checking
knowledge representation
process model