Transformation of Bounded Timed Petri Nets into Event-B.

Suphattra Kaewopchoei Wiwat Vatanawood

Published in: SNPD (2019)

Keyphrases

timed petri nets
discrete event systems
mathematical modeling
artificial intelligence
cooperative
sensor networks
random walk
network model