From timed Petri nets to timed LOTOS.

Tommaso Bolognesi Ferdinando Lucidi Sebastiano Trigila

Published in: PSTV (1990)

Keyphrases

timed petri nets
discrete event systems
petri net
discrete event
simulation model
dynamic systems
temporal ordering
mathematical modeling
neural network
dynamical systems