Formalization of Textual Use Cases Based on Petri Nets.

Stéphane S. Somé

Published in: Int. J. Softw. Eng. Knowl. Eng. (2010)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
fuzzy petri net
ims ld
stochastic petri net
test cases
service composition
state machines
concurrent systems
process model