Analyzing Decentralized Governability of Business Processes by Extended Petri Nets and Modal Logics.
Takashi HattoriHiroshi KawakamiOsamu KataiTakayuki ShiosePublished in: ICE-B (2008)
Keyphrases
- business processes
- petri net
- modal logic
- business process
- process model
- temporal logic
- cross organizational
- web services
- colored petri nets
- workflow model
- epistemic logic
- business process models
- web service composition
- process mining
- business rules
- multi agent
- workflow management
- business partners
- fuzzy petri net
- workflow systems
- business process management
- inter organizational
- business environment
- business process modeling
- workflow management systems
- service composition
- business objectives
- distributed systems
- service oriented architecture
- workflow models
- data management
- workflow processes