Verification in Concurrent Programming with Petri Nets Structural Techniques.

Kamel Barkaoui Jean-François Pradat-Peyre

Published in: HASE (1998)

Keyphrases

petri net
concurrent programming
petri net model
colored petri nets
concurrent systems
programming language
discrete event systems
manufacturing systems
service composition
ims ld
state machines
fuzzy petri net
model checking
stochastic petri net
programmable logic controller
knowledge base
software engineering