Synthesis of petri nets from scenarios with viptool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5062 LNCS, Issue , 2008, Pages 388-398

  Bergenthum, Robin ^a   Desel, Jörg ^a   Lorenz, Robert ^a   Mauser, Sebastian ^a  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESSING; EXTENDED PETRI NETS; INITIAL PROCESS; INTERNATIONAL CONFERENCES; PETRI NET MODELS; PLUG-IN TECHNOLOGY; TOOL SUPPORTS;

MARINE BIOLOGY; PETRI NETS; TECHNOLOGY;

GRAPH THEORY;

EID: 48249126397     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68746-7_25     Document Type: Conference Paper

References (15)

1. Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 529-586. Springer, Heidelberg (1998)
2. Bergenthum, R., Desel, J., Juhás, G., Lorenz, R.: Can I Execute My Scenario in Your Net? Viptool Tells You! In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 381-390. Springer, Heidelberg (2006)
3. Bergenthum, R., Lorenz, R., Mauser, S.: Faster Unfolding of General Petri Nets. In: AWPN 2007, pp. 63-68 (2007)
4. Bergenthum, R., Mauser, S.: Experimental Results on the Synthesis of Petri Nets from Partial Languages. In: Petri Net Newsletter, vol. 73, pp. 3-10 (2007)
5. Caillaud, B.: Synet, http://www.irisa.fr/s4/tools/synet/
6. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A Tool for Manipulating Concurrent Specifications and Synthesis of Asynchronous Controllers. IE-ICE Trans. of Informations and Systems E80-D(3), 315-325 (1997)
7. Desel, J.: Model Validation - A Theoretical Issue? In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 23-43. Springer, Heidelberg (2002)
8. Desel, J.: From Human Knowledge to Process Models. In: Kaschek, R., et al. (eds.) UNIS-CON 2008. LNBIP, vol. 5, Springer, Heidelberg (2008)
9. Desel, J., Juhás, G., Lorenz, R., Neumair, C.: Modelling and Validation with Viptool. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 380-389. Springer, Heidelberg (2003)
10. Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets. Acta Inf. 33(4), 297-315 (1996)
11. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-Structures: Part I + II. Acta Inf. 27(4), 315-368 (1989)
12. Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. In: ACSD 2007, pp. 157-166. IEEE Computer Society, Los Alamitos (2007)
13. Lorenz, R., Juhás, G., Mauser, S.: How to Synthesize Nets from Languages - a Survey. In: Proceedings of the Wintersimulation Conference (WSC) (2007)
14. Seybold, C., Meier, S., Glinz, M.: Scenario-Driven Modeling and Validation of Requirements Models. In: SCESM 2006, pp. 83-89. ACM, New York (2006)
15. van der Aalst, W.M.P., et al.: ProM 4.0: Comprehensive Support for real Process Analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484-494. Springer, Heidelberg (2007)