Analysis of Real-Time Programs with Simple Time Petri Nets.

Ugo A. Buy Robert H. Sloan

Published in: ISSTA (1994)

Keyphrases

petri net
real time
colored petri nets
discrete event systems
control system
neural network
fuzzy rules
manufacturing systems