Formal Modeling of Sequential Function Charts With Time Petri Nets.

Nicholas Wightkin Ugo A. Buy Houshang Darabi

Published in: IEEE Trans. Control. Syst. Technol. (2011)

Keyphrases

petri net
colored petri nets
stochastic petri net
reactive systems
petri net model
manufacturing systems
discrete event systems
sequence diagrams
fuzzy petri net
service composition
process model
state machines
concurrent systems
neural network
embedded real time systems