Branch testing of concurrent programs using Petri net models.

Hong-Fa Ho Gen-Huey Chen Te-Son Kuo

Published in: Comput. Syst. Sci. Eng. (1990)

Keyphrases

petri net
concurrent programs
stochastic petri net
concurrent processes
process model
discrete event systems
process algebra
complex systems
software systems
web service composition
petri net model
concurrent programming
fuzzy petri net