Concepedia

Time Petri Nets for Analyzing and Verifying Time Dependent Communication Protocols.

Miguel Menasche, Bernard Berthomieu

1983 · 33 citations · 0 references

Concepts

ComputingComputer EngineeringComputer ScienceComputer NetworksFormal MethodsReal-time SystemsNetwork ProtocolsPetri NetsProtocol VerificationReal-time Communication ProtocolsReal-time Systems DesignTemporal LogicCommunication ProtocolsPetri Net AnalysisPetri Net VerificationReal-time Systems VerificationTimed Petri Nets