Translation from Workflow Nets to MSVL

1. van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers 8(1), 21–66 (1998)

   Article  Google Scholar 

2. van der Aalst, W.M.P., Lassen, K.B.: Translating unstructured workflow processes to readable bpel: Theory and implementation. Information & Software Technology 50(3), 131–159 (2008)

   Article  Google Scholar 

3. van der Aalst, W.M.P.: Structural characterizations of sound workflow nets. Computing Science Reports 96/23, Eindhoven University of Technology (1996)

   Google Scholar 

4. CPN, http://cpntools.org/

5. Desel, J., Esparza, J.: Free choice Petri nets. Cambridge tracts in theoretical computer science, vol. 40. Cambridge University Press (1995)

   Google Scholar 

6. Duan, Z., Tian, C.: A unified model checking approach with projection temporal logic. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 167–186. Springer, Heidelberg (2008)

   Chapter  Google Scholar 

7. Duan, Z., Tian, C., Zhang, L.: A decision procedure for propositional projection temporal logic with infinite models. Acta Informatica 45(1), 43–78 (2008)

   Article  MathSciNet  MATH  Google Scholar 

8. Esparza, J., Heljanko, K.: Implementing ltl model checking with net unfoldings. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 37–56. Springer, Heidelberg (2001)

   Chapter  Google Scholar 

9. Hauser, R.: Analysis and transformation of behavioral models containing overlapped patterns. Journal of Object Technology 9(3), 105–124 (2010)

   Article  Google Scholar 

10. Hauser, R.: Automatic transformation from graphical process models to executable code. Eidgenössische Technische Hochschule Zürich (2010)

    Google Scholar 

11. Holzmann, G.J.: Design and validation of protocols: A tutorial. Computer networks and ISDN systems 25(9), 981–1017 (1993)

    Article  Google Scholar 

12. Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modeling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431–445. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

13. Kleine, J., Reisig, W.: Transformation von offenen Workflow-Netzen zu abstrakten WS-BPEL-Prozessen (in German). Ph.D. thesis, Humboldt-Universität zu Berlin, Berlin (2007)

    Google Scholar 

14. Lassen, K.B., Tjell, S.: Translating colored control flow nets into readable java via annotated java workflow nets. In: Jensen, K. (ed.) 8th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, pp. 127–146. Aarhus University, Aarhus (2007)

    Google Scholar 

15. Lohmann, N., Kleine, J.: Fully-automatic translation of open workflow net models into simple abstract bpel processes. In: Kühne, T., Reisig, W., Steimann, F. (eds.) Modellierung 2008. Lecture Notes in Informatics, vol. 127, pp. 57–72. Gesellschaft für Informatik, Bonn (2008)

    Google Scholar 

16. Murata, T.: Petri nets: properties, analysis and applications. Proceedings of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

17. Ouyang, C., Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M., Mendling, J.: From business process models to process-oriented software systems. ACM Transactions on Software Engineering and Methodology 19(1) (2009)

    Google Scholar 

18. Polyvyanyy, A., García-Bañuelos, L., Dumas, M.: Structuring acyclic process models. Information Systems 37(6), 518–538 (2012)

    Article  Google Scholar 

19. Polyvyanyy, A., García-Bañuelos, L., Fahland, D., Weske, M.: Maximal structuring of acyclic process models. The Computing Research Repository abs/1108.2384 (2011)

    Google Scholar 

20. Tian, C., Duan, Z.: Propositional projection temporal logic, buchi automata and ω-regular expressions. In: Agrawal, M., Du, D.-Z., Duan, Z., Li, A. (eds.) TAMC 2008. LNCS, vol. 4978, pp. 47–58. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

21. Workcraft, http://www.workcraft.org/wiki/

Download references