Comparative trace semantics of time Petri nets.

Dmitriy Bushin Irina B. Virbitskaite

Published in: Program. Comput. Softw. (2015)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
fuzzy petri net
colored petri nets
process algebra
neural network
state machines
discrete dynamical systems
process model
service oriented
service composition
concurrent systems
ims ld
expert systems
artificial intelligence