A component-based Petri net model for specifying and validating cooperative information systems.
Nasreddine AoumeurGunter SaakePublished in: Data Knowl. Eng. (2002)
Keyphrases
- cooperative
- information systems
- petri net model
- petri net
- service composition
- production process
- information technology
- distributed problem solving
- health care
- multi agent
- manufacturing systems
- cooperating agents
- databases
- information systems development
- information security
- knowledge management
- web services
- support systems
- systems development
- markov decision processes
- computer systems
- social aspects
- data sets
- air combat