Comparison of different algorithms to synthesize a petri net from a partial language

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

Volumn 5800 LNCS, Issue , 2009, Pages 216-243

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

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

Author keywords

Partial Order Behavior; Petri Net; Region Theory; Synthesis Algorithm

Indexed keywords

CLASSICAL THEORY; FINITE SET; FLOW REGIONS; PARTIAL ORDER; PARTIAL ORDER BEHAVIOR; PLACE/TRANSITION PETRI NETS; STEP SEQUENCES; SYNTHESIS ALGORITHMS;

GRAPH THEORY; LINGUISTICS; PETRI NETS; QUERY LANGUAGES; SET THEORY; SYNTHESIS (CHEMICAL);

ALGORITHMS;

EID: 70549090202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04856-2_9     Document Type: Conference Paper

References (23)

1. Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets. Technical Report 3025, Inria (1996)
2. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petri Nets from Infinite Partial Languages. In: ACSD 2008, pp. 170-179. IEEE, Los Alamitos (2008)
3. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: VipTool-Homepage (2009), http://viptool.ku-eichstaett.de
4. 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)
5. 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)
6. 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)
7. 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)
8. Grabowski, J.: On Partial Languages. Fundamenta Informaticae 4(2), 428-498 (1981)
9. Heiner, M., Koch, I., Will, J.: Model Validation of Biological Pathways Using Petri Nets-Demonstrated for Apoptosis. Journal BioSystems 75(1-3), 15-28 (2004)
10. Hoogers, P., Kleijn, H., Thiagarajan, P.: A Trace Semantics for Petri Nets. Information and Computation 117(1), 98-114 (1995)
11. 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)
12. Kiehn, A.: On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets. Elektronische Informationsverarbeitung und Kybernetik 24(1/2), 3-18 (1988)
13. Liang, H., Dingel, J., Diskin, Z.: A Comparative Survey of Scenario-Based to State-Based Model Synthesis Approaches. In: SCESM 2006, pp. 5-12. ACM, New York (2006)
14. Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages. Fundamenta Informaticae 88(4), 437-468 (2009)
15. Lorenz, R., Bergenthum, R., Mauser, S., Desel, J.: Synthesis of Petri Nets from Finite Partial Languages. In: ACSD, pp. 157-166. IEEE, Los Alamitos (2007)
16. 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)
17. Lorenz, R., Juhás, G., Mauser, S.: How to Synthesize Nets from Languages - a Survey. In: WSC, pp. 637-647. IEEE, Los Alamitos (2007)
18. Pratt, V.: Modelling Concurrency with Partial Orders. Int. Journal of Parallel Programming 15, 33-71 (1986)
19. Schrijver, A.: Theory of Linear and Integer Programming. Wiley, Chichester (1986)
20. van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M., Verbeek, E., Weijters, A.J.M.M.: 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)
21. 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)
22. Verbeek, E., van der Toorn, R.A.: Transit Case Study. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 391-410. Springer, Heidelberg (2004)
23. Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol. 625. Springer, Heidelberg (1992)