Login / Signup
Timed Petri-Nets for Modelling and Analyzing Protocols with Real-Time Characteristics.
Bernd Walter
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
real time
timed petri nets
discrete event systems
neural network
machine learning
multi agent
computational intelligence
data acquisition
mathematical modeling