A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
A Layered Workflow Model Enhanced with Process Algebra Verification for Industrial Processes
2007
2007 IEEE International Conference on Intelligent Computer Communication and Processing
This paper addresses the problem of modeling and verification of complex industrial production lines that include physical machines. The paper proposes a methodology for building business models, organized on layers of increasing complexity, from production line elementary machines and sensors to complex business workflows. For workflow verification purposes, the model is represented in Process Algebra (PA) formalism which allows for reasoning and checking the correctness of the business
doi:10.1109/iccp.2007.4352159
fatcat:hwa2srzrjvdojj4ifcfdf6mjca