A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking.
Tom MeyerPublished in: PNSE@Petri Nets (2023)
Keyphrases
- business process
- petri net model
- petri net
- web services
- publish subscribe systems
- business processes
- publish subscribe
- service composition
- process execution
- loosely coupled
- ws bpel
- production process
- web applications
- process model
- information dissemination
- workflow model
- business process models
- business process modeling
- business process management
- data model
- low latency
- event driven
- service oriented architecture
- service oriented
- xml data
- overlay network
- workflow management systems
- semantic web services
- service discovery
- real time
- manufacturing systems
- index structure
- case study
- production system
- peer to peer
- database systems
- information systems