Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems.
Erika AsninaViktoria OvchinnikovaPublished in: ENASE (2015)
Keyphrases
- control flow
- reactive systems
- decision making
- complex systems
- data flow
- process model
- business process models
- transition systems
- decision makers
- formal methods
- high level
- trading systems
- building blocks
- database
- petri net
- computational models
- temporal logic
- distributed systems
- knowledge management
- multi agent
- data sets