Generating a Petri net from a CSP specification: A semantics-based method.

Marisa Llorens Javier Oliver Josep Silva Salvador Tamarit

Published in: Adv. Eng. Softw. (2012)

Keyphrases

petri net
petri net model
dynamic programming
decomposition method
stochastic petri net
control system
fuzzy sets
process model
membership functions
production system
pattern classification