Formal Modeling of Grafcets With Time Petri Nets.

Médésu Sogbohossou Antoine Vianou

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

Keyphrases

petri net
colored petri nets
stochastic petri net
discrete event systems
reactive systems
petri net model
sequence diagrams
manufacturing systems
artificial intelligence
ims ld
state machines
embedded real time systems