Nonblocking coordination of discrete-event systems by control-flow nets.
Lei FengWalter Murray WonhamPublished in: CDC (2007)
Keyphrases
- discrete event systems
- control flow
- data flow
- petri net
- model based diagnosis
- complex systems
- process model
- failure diagnosis
- discrete event
- telecommunication networks
- timed petri nets
- software testing
- multi agent systems
- temporal constraints
- cooperative
- multi agent
- workflow management systems
- business process models
- transition systems
- case study
- memory hierarchy
- databases
- database
- mathematical model
- open source
- object oriented
- modeling language