Abstract
Based on the workflow management coalition (WFMC) standard and component software technologies, this paper addresses our Petri-nets-based approach for workflow and process automation. Petri nets provide graphical and mathematical formalisms for work-flow process definition and analysis. In this paper, we will present how to use Petri nets and a toolkit NCUPN (National Central University Petri Nets toolkit) for process definition and analysis. NCUPN is a Petri nets modeling and analysis toolkit developed to help software engineers in drawing and doing analysis. Once a workflow process is drawn using NCUPN, analysis can be done automatically. In this paper, we will demonstrate how to use NCUPN to analyze behavioral properties of workflow process, such as deadlock, liveness, safety, and starvation.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
