Models from scenarios

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

Volumn 7480 LNCS, Issue , 2013, Pages 314-371

  Lorenz, Robert ^a   Desel, Jörg ^b   Juhás, Gabriel ^c  

^a UNIVERSITY OF AUGSBURG   (Germany)

^b UNIVERSITY OF HAGEN   (Germany)

^c SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

Author keywords

Causal semantics; Partial language; Partial order; Petri net; Region theory; Stratified order structure; Synthesis

Indexed keywords

SEMANTICS; SYNTHESIS (CHEMICAL);

CAUSAL SEMANTICS; PARTIAL LANGUAGE; PARTIAL ORDER; REGION THEORY; STRATIFIED ORDER STRUCTURES;

PETRI NETS;

EID: 84894202622     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-38143-0_9     Document Type: Conference Paper

References (33)

1. Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), July 10-13, Bratislava, Slovak Republic. IEEE Computer Society (2007)
2. Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets. Technical Report 3025, Inria (1996)
3. Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 529-586. Springer, Heidelberg (1998)
4. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process Mining Based on Regions of Languages. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 375-383. Springer, Heidelberg (2007)
5. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. Fundam. Inform. 88(4), 437-468 (2008)
6. Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Construction of process models from example runs. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 243-259. Springer, Heidelberg (2009)
7. Bergenthum, R., Desel, J., Mauser, S., Lorenz, R.: Synthesis of Petri Nets from Term Based Representations of Infinite Partial Languages. Fundam. Inform. 95(1), 187-217 (2009)
8. Busi, N., Pinna, G.M.: Synthesis of Nets with Inhibitor Arcs. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 151-165. Springer, Heidelberg (1997)
9. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Hardware and Petri Nets: Application to Asynchronous Circuit Design. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 1-15. Springer, Heidelberg (2000)
10. Darondeau, P.: Deriving Unbounded Petri Nets from Formal Languages. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 533-548. Springer, Heidelberg (1998)
11. Darondeau, P.: Unbounded Petri Net Synthesis. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 413-438. Springer, Heidelberg (2004)
12. Desel, J.: From Human Knowledge to Process Models. In: Kaschek, R., Kop, C., Steinberger, C., Fliedl, G. (eds.) UNISCON. LNBIP, vol. 5, pp. 84-95. Springer, Heidelberg (2008)
13. Desel, J.: VipTool-Homepage (2010), http://www.fernuni-hagen.de/se/ viptool.html
14. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-Structures. Part I: Basic Notions and the Representation Problem / Part II: State Spaces of Concurrent Systems. Acta Inf. 27(4), 315-368 (1989)
15. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-Structures. Part II: State Spaces of Concurrent Systems. Acta Inf. 27(4), 343-368 (1989)
16. Hoogers, P., Kleijn, H., Thiagarajan, P.: A Trace Semantics for Petri Nets. Information and Computation 117(1), 98-114 (1995)
17. van der Werf, C.H.J., van Dongen, B., Serebrenik, A.: Process Discovery using Integer Linear Programming. Fundamenta Informaticae 94(3), 387-412 (2009)
18. Janicki, R., Koutny, M.: Semantics of Inhibitor Nets. Inf. Comput. 123(1), 1-16 (1995)
19. Josephs, M.B., Furey, D.P.: A Programming Approach to the Design of Asynchronous Logic Blocks. In: Cortadella, J., Yakovlev, A., Rozenberg, G. (eds.) Concurrency and Hardware Design. LNCS, vol. 2549, pp. 34-60. Springer, Heidelberg (2002) (Pubitemid 36002953)
20. Juhas, G., Lorenz, R., Mauser, S.: Complete Process Semantics of Petri Nets. Fundamenta Informaticae 87(3-4), 331-365 (2008)
21. Kleijn, H.C.M., Koutny, M.: Process Semantics of General Inhibitor Nets. Inf. Comput. 190(1), 18-69 (2004)
22. Lodaya, K., Weil, P.: Series-Parallel Posets: Algebra, Automata and Languages. In: Meinel, C., Morvan, M. (eds.) STACS 1998. LNCS, vol. 1373, pp. 555-565. Springer, Heidelberg (1998) (Pubitemid 128044818)
23. Lodaya, K., Weil, P.: Series-Parallel Languages and the Bounded-Width Property. Theor. Comput. Sci. 237(1-2), 347-380 (2000)
24. Lorenz, R.: Synops-Homepage (2010), http://www.informatik.uni-augsburg. de/lehrstuehle/inf/projekte/synops/
25. Lorenz, R., Juhás, G., Bergenthum, R., Desel, J., Mauser, S.: Executability of Scenarios in Petri Nets. Theor. Comput. Sci. 410(12-13), 1190-1216 (2009)
26. Lorenz, R., Mauser, S., Bergenthum, R.: Theory of Regions for the Synthesis of Inhibitor Nets from Scenarios. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 342-361. Springer, Heidelberg (2007)
27. Lorenz, R., Mauser, S., Juhás, G.: How to Synthesize Nets from Languages: A Survey. In: Henderson, S.G., Biller, B., Hsieh, M.-H., Shortle, J., Tew, J.D., Barton, R.R. (eds.) Winter Simulation Conference, pp. 637-647. WSC (2007)
28. Mukund, M.: Petri Nets and Step Transition Systems. Int. J. Found. Comput. Sci. 3(4), 443-478 (1992)
29. Pietkiewicz-Koutny, M.: The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs. Fundam. Inform. 40(2-3), 251-283 (1999)
30. Pietkiewicz-Koutny, M.: Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems. Fundam. Inform. 50(2), 175-203 (2002)
31. van der Aalst, W.M.P., Günther, C.W.: Finding Structure in Unstructured Processes: The Case for Process Mining. In: ACSD [1], pp. 3-12
32. van der Aalst, W.M.P., van Dongen, B.F., Herbst, J., Maruster, L., Schimm, G., Weijters, A.J.M.M.: Workflow Mining: A Survey of Issues and Approaches. Data Knowl. Eng. 47(2), 237-267 (2003)
33. Zhou, M., Cesare, F.D.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer (1993)