2013 | OriginalPaper | Chapter
Translation from Workflow Nets to MSVL
Authors : Ya Shi, Zhenhua Duan, Cong Tian
Published in: Formal Methods and Software Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
An automatic translation from Workflow nets (WFNs) to Modeling, Simulation and Verification Language (MSVL) is presented in this paper. As a result, WFNs can be simulated and verified through the well developed supporting tool named MSV for MSVL programs. To do so, annotations are added to WFNs first. Further, translating rules are presented w.r.t regular structures for the translation from Annotated WFNs to MSVL programs. Finally, a tool called PN2MSVL has been implemented for the automatic translation from WFNs to MSVL.