Verification of Use Case with Petri Nets in Requirement Analysis.

Jinqiang Zhao Zhenhua Duan

Published in: ICCSA (2) (2009)

Keyphrases

petri net
requirement analysis
petri net model
colored petri nets
concurrent systems
discrete event systems
data warehouse
model construction
service composition
fuzzy petri net
production process
state machines
ims ld
machine learning
model checking
web services
databases
stochastic petri net