Time-Soundness of Time Petri Nets Modelling Time-Critical Systems.

Guanjun Liu Changjun Jiang Mengchu Zhou

Published in: ACM Trans. Cyber Phys. Syst. (2018)

Keyphrases

petri net
discrete event systems
petri net model
distributed systems
complex systems
telecommunication networks
embedded real time systems
neural network
manufacturing systems
learning environment
ims ld
reactive systems
stochastic petri net