Two formal methods for the synthesis of discrete event systems.
Ahmed KhoumsiKassem SalehPublished in: Comput. Networks ISDN Syst. (1997)
Keyphrases
- formal methods
- discrete event systems
- petri net
- model based diagnosis
- complex systems
- telecommunication networks
- model checking
- failure diagnosis
- discrete event
- timed petri nets
- formal analysis
- temporal constraints
- knowledge based systems
- artificial intelligence
- formal specification
- safety critical
- dynamic systems
- software engineering
- process algebra
- temporal logic
- formal specification language
- modeling language
- knowledge base
- information systems