Process Definition and Property Analysis in Workflow Systems Using Petri Nets and Software Component Technology

Chyun-Chyi Chen, Chun-Chi Lin. Process Definition and Property Analysis in Workflow Systems Using Petri Nets and Software Component Technology. In Third International Conference on Robot, Vision and Signal Processing, RVSP 2015, Kaohsiung, Taiwan, November 18-20, 2015. pages 171-175, IEEE Computer Society, 2015. [doi]

Abstract

Abstract is missing.