Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.
Ichiro SuzukiPublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- formal analysis
- petri net
- ban logic
- petri net model
- discrete event systems
- colored petri nets
- formal methods
- service composition
- state machines
- temporal constraints
- temporal reasoning
- ims ld
- fuzzy petri net
- agent model
- temporal information
- stochastic petri net
- artificial intelligence
- concurrent systems
- sequence diagrams
- process model
- business processes
- fuzzy logic
- machine learning
- programmable logic controller