Static Analysis of Concurrent Processes for Dynamic Properties Using Petri Nets.

Published in: Semantics of Concurrent Computation (1979)

Keyphrases

petri net
concurrent processes
static analysis
dynamic analysis
source code
discrete event systems
petri net model
concurrent programs
colored petri nets
reverse engineering
ims ld
regular expressions
process model
state machines
integrity constraints
concurrent systems
software engineering
fuzzy petri net