A petri net reduction algorithm for protocol analysis.

C. V. Ramamoorthy Yuh Yaw

Published in: SIGCOMM (1986)

Keyphrases

petri net
colored petri nets
petri net model
manufacturing systems
data analysis
high dimensional
knowledge base
story generation