Testing Equivalence for Petri Nets with Action Refinement: Preliminary Report.

Lalita Jategaonkar Albert R. Meyer

Published in: CONCUR (1992)

Keyphrases

petri net
manufacturing systems
petri net model
discrete event systems
colored petri nets
fuzzy petri net
test cases
neural network
service composition
ims ld
stochastic petri net
discrete dynamical systems
sequence diagrams
concurrent systems
artificial intelligence
software testing