Login / Signup
Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.
Miguel Menasche
Bernard Berthomieu
Published in:
Protocol Specification, Testing, and Verification (1983)
Keyphrases
</>
petri net
communication protocols
process algebra
petri net model
discrete event systems
manufacturing systems
communication protocol
fuzzy petri net
communication networks
service composition
stochastic petri net
colored petri nets
ims ld
web services
model checking
fuzzy logic
distributed systems