Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets.
Shingo YamaguchiTomohiro HirakawaPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2013)
Keyphrases
- petri net model
- petri net
- formal analysis
- cryptographic protocols
- protocol specification
- model checking
- model checker
- special case
- object oriented
- hypertree decomposition
- np hard
- worst case
- formal proof
- inter organizational workflow
- lightweight
- formal verification
- colored petri nets
- business process
- service composition
- formal methods
- np complete
- communication protocol
- computational complexity
- acyclic conjunctive queries