Performance evaluation of concurrent systems using timed petri nets.

Wlodzimierz M. Zuberek

Published in: ACM Conference on Computer Science (1985)

Keyphrases

concurrent systems
timed petri nets
discrete event systems
petri net
process algebra
distributed systems
temporal logic
model checking
formal specification
mathematical modeling
complex systems
telecommunication networks
dynamical systems
discrete event
numerical simulations
temporal constraints
machine learning