Automatic Translation of Time Petri Nets into Estelle Description.

A. B. Alkhechi Stanislaw Budkowski

Published in: FORTE (1990)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
discrete dynamical systems
state machines
programmable logic controller
ims ld
fuzzy petri net
neural network
knowledge base
distributed systems
stochastic petri net