A Compact Petri Net Representation for Concurrent Programs.

Matthew B. Dwyer Lori A. Clarke Kari A. Nies

Published in: ICSE (1995)

Keyphrases

petri net
concurrent programs
high level petri nets
concurrent processes
process algebra
discrete event systems
petri net model
web service composition
fuzzy petri net
image representation
colored petri nets
stochastic petri net
process model
service composition
ims ld