Cited by 1
Specifying and Verifying External Behaviour of Fair Input/Output Automata by Using the Temporal Logic of Actions

A New Business Process Verification Approach for E-Commerce Using Petri Nets
Mei Zhang, Fei Feng, Zhilong Zhang, Jinghua Wen
Journal:  International Journal of Enterprise Information Systems Volume 16, Issue 1 (2020), p. 92