Derivation of Petri net models of Ada tasking constructs involving time.

F. W. Fong Sol M. Shatz

Published in: COMPSAC (1989)

Keyphrases

petri net
stochastic petri net
process model
discrete event systems
petri net model
web service composition
embedded real time systems
manufacturing systems
high level petri nets
neural network
web services
natural language
reactive systems