PETRIREVE: Proving Petri Net Properties with Rewriting Systems.

Christine Choppy Colette Johnen

Published in: RTA (1985)

Keyphrases

petri net
rewriting systems
discrete event systems
petri net model
fuzzy petri net
web service composition
colored petri nets
structural properties
manufacturing systems
service composition
ims ld
stochastic petri net
knowledge base
database
software systems
rewriting rules
fuzzy logic
data model
metadata