Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets.
Pierre AzémaG. JuandleE. SanchisM. MontbernardPublished in: ICSE (1984)
Keyphrases
- distributed systems
- petri net
- colored petri nets
- concurrent systems
- petri net model
- process algebra
- state machines
- fault tolerant
- fuzzy petri net
- distributed environment
- reactive systems
- load balancing
- discrete event systems
- sequence diagrams
- geographically distributed
- distributed computing
- ims ld
- expert systems
- manufacturing systems
- model checking
- real time systems
- formal methods
- formal specification
- logic programming
- service composition
- mobile agents
- high assurance
- stochastic petri net
- asynchronous circuits
- distributed database systems
- knowledge representation
- software architecture
- web services
- artificial intelligence