A New Structural Induction Theorem for Rings of Temporal Petri Nets.

Jianan Li Ichiro Suzuki Masafumi Yamashita

Published in: IEEE Trans. Software Eng. (1994)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
high level petri nets
service composition
ims ld
fuzzy petri net
state machines
stochastic petri net
process model
temporal information
discrete dynamical systems
machine learning
programmable logic controller