Blending Timed Formal Models with Clock Transition Systems.
Claude JardDidier LimeOlivier H. RouxPublished in: Fundam. Informaticae (2014)
Keyphrases
- formal models
- transition systems
- concurrent systems
- petri net
- process model
- model checking
- temporal logic
- control flow
- finite state
- rule based systems
- formal model
- practical reasoning
- reactive systems
- markov chain
- genetic algorithm
- distributed systems
- workflow management systems
- rule base
- error rate
- model checker
- fuzzy logic