Theory of regions for the synthesis of inhibitor nets from scenarios

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

Volumn 4546 LNCS, Issue , 2007, Pages 342-361

  Lorenz, Robert ^a   Mauser, Sebastian ^a   Bergenthum, Robin ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; PROBLEM SOLVING;

LABELLED PARTIAL ORDERS (LPOS); LABELLED STRATIFIED ORDER STRUCTURES (LSOS);

PETRI NETS;

EID: 38149131332     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73094-1_21     Document Type: Conference Paper

References (15)

1. Badouel, E., Darondeau, P.: On the synthesis of general petri nets. Technical Report 3025, Inria (1996)
2. Busi, N., Pinna, G.M.: Synthesis of nets with inhibitor arcs. In: Mazurkiewicz, A.W., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 151-165. Springer, Heidelberg (1997)
3. 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)
4. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. part i: Basic notions and the representation problem. Acta Inf. 27(4), 315-342 (1989)
5. Ehrenfeucht, A., Rozenberg, G.: Partial (set) 2-structures. part ii: State spaces of concurrent systems. Acta Inf. 27(4), 343-368 (1989)
6. Janicki, R., Koutný, M.: Semantics of inhibitor nets. Inf. Comput. 123(1), 1-16 (1995)
7. Juhás, G., Lorenz, R., Mauser, S.: Complete process semantics for inhibitor nets. In: Proceedings of ICATPN 2007 (2007)
8. Kleijn, H.C.M., Koutný, M.: Process semantics of general inhibitor nets. Inf. Comput. 190(1), 18-69 (2004)
9. Lorenz, R., Bergenthum, R., Mauser, S., Desel, J.: Synthesis of petri nets from finite partial languages. In: Proceedings of ACSD 2007 (2007)
10. Lorenz, R., Juhás, G.: Towards synthesis of petri nets from scenarios. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 302-321. Springer, Heidelberg (2006)
11. Pietkiewicz-Koutny, M.: The synthesis problem for elementary net systems with inhibitor arcs. Fundam. Inform. 40(2-3), 251-283 (1999)
12. Pietkiewicz-Koutny, M.: Synthesising elementary net systems with inhibitor arcs from step transition systems. Fundam. Inform. 50(2), 175-203 (2002)
13. 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)
14. van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: Discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128-1142 (2004)
15. Zhou, M., Cesare, F.D.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer, Dordrecht (1993)