Formalisation and verification of interaction protocols for business process integration: a Petri net approach.
Djamel BenmerzougFabrice KordonMahmoud BoufaïdaPublished in: Int. J. Simul. Process. Model. (2008)
Keyphrases
- business process
- petri net
- petri net model
- business processes
- colored petri nets
- business process modeling
- business process management
- concurrent systems
- web services
- process model
- service composition
- interaction protocols
- workflow model
- manufacturing systems
- business process models
- process mining
- fuzzy petri net
- platform independent
- web service composition
- workflow models
- agent systems
- data integration
- multiagent systems
- service oriented architecture
- multi agent systems
- multi agent
- virtual organization
- case study
- service oriented
- software agents
- event logs
- distributed systems
- fuzzy logic
- decision making
- artificial intelligence