Synthesis of petri nets from term based representations of infinite partial languages

Fundamenta Informaticae

Volumn 95, Issue 1, 2009, Pages 187-217

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

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

^b UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE SET; LABELLED PARTIAL ORDER; LINEAR PROGRAMMING TECHNIQUES; PARALLEL COMPOSITION; PLACE/TRANSITION PETRI NETS; SEQUENTIAL COMPOSITIONS; SYNTHESIS ALGORITHMS; TEST ALGORITHMS; THEORY OF REGIONS;

ALGORITHMS; GRAPH THEORY; LINEARIZATION; MATHEMATICAL OPERATORS; PETRI NETS; QUERY LANGUAGES; SET THEORY; SYNTHESIS (CHEMICAL);

LINGUISTICS;

EID: 77049106674     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/FI-2009-147     Document Type: Article

References (27)

1. 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, H. M. W., Weijters, A. J. M. M.: ProM 4.0: Comprehensive Support for real Process Analysis, ICATPN 2007, LNCS 4546, Springer, 2007.
2. 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), 2004, 1128-1142.
3. Badouel, E., Darondeau, P.: Theory of Regions, Lectures on Petrinets I: BasicModels, LNCS 1491, Springer, 1998.
4. Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Synthesis of Petrinets from Infinite Partial Languages, ACSD 2008, IEEE, 2008.
5. Bergenthum, R., Desel, J., Lorenz, R.,Mauser, S.: Synthesis of Petrinets fromScenarios with VipTool, Petrinets 2008, LNCS 5062, Springer, 2008.
6. Bergenthum, R., Desel, J., Mauser, S.: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language, Workshop CHINA at Petrinets 2008, Xi'an, 2008.
7. Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petrinets for Business Process Design, Workshop Verhaltensmodellierung: Best Practices und neue Erkenntnisse an der Modellierung 2008, Berlin, 2008.
8. Bergenthum, R., Mauser, S.: Synthesis of Petrinets from Infinite Partial Languages with VipTool, Workshop AWPN 2008, Rostock, 2008.
9. Cortadella, J., Kishinevsky,M., Kondratyev,A., Lavagno, L., Yakovlev, A.: Petrify: A Tool forManipulating Concurrent Specifications and Synthesis of Asynchronous Controllers, IEICE Trans. of Informations and Systems, E80-D(3), 1997, 315-325.
10. Cortadella, J., Kishinevsky,M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Hardware and Petrinets: Application to Asynchronous Circuit Design, ICATPN 2000, LNCS 1825, Springer, 2000.
11. Darondeau, P.: Deriving Unbounded Petrinets from Formal Languages, CONCUR 1998, LNCS 1466, Springer, 1998.
12. 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), 1989, 315-368.
13. Grabowski, J.: On Partial Languages, Fundamenta Informaticae, 4(2), 1981, 428-498.
14. Hoogers, P., Kleijn, H., Thiagarajan, P.: A Trace Semantics for Petrinets, Information and Computation, 117(1), 1995, 98-114.
15. Hoogers, P., Kleijn, H., Thiagarajan, P.: An Event Structure Semantics for General Petrinets, Theoretical Computer Science, 153(1&2), 1996, 129-170.
16. Josephs, M. B., Furey, D. P.: A Programming Approach to the Design of Asynchronous Logic Blocks, Concurrency and Hardware Design 2002, LNCS 2549, Springer, 2002.
17. Juh́as, G., Lorenz, R.: Towards Synthesis of Petrinets from Scenarios, ICATPN 2006, LNCS 4024, Springer, 2006.
18. Juh́as, G., Lorenz, R., Mauser, S.: How to Synthesize Nets from Languages - a Survey, Wintersimulation Conference 2007, Washington, 2007.
19. Kuske, D., Morin, R.: Pomsets for Local Trace Languages - Recognizability, Logic & Petrinets, CONCUR 2000, LNCS 1877, Springer, 2000.
20. Lodaya, K., Weil, P.: Series-Parallel Posets: Algebra, Automata and Languages, STACS 1998, LNCS 1373, Springer, 1998.
21. Lodaya, K., Weil, P.: Series-Parallel Languages and the Bounded-Width Property, Theor. Comput. Sci., 237(1-2), 2000, 347-380.
22. Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petrinets from Finite Partial Languages, ACSD, IEEE Computer Society, 2007.
23. Pratt, V.: Modelling Concurrency with Partial Orders, Int. Journal of Parallel Programming, 15, 1986, 33-71.
24. Reisig, W.: Petrinetze - Eine Einführung., 2. edition, Springer, 1986.
25. Schrijver, A.: Theory of Linear and Integer Programming, Wiley, 1986.
26. Vogler, W.: Partial Words Versus Processes: a Short Comparison, Advances in Petrinets: The DEMON Project, LNCS 609, Springer, 1992.
27. Zhou, M., Cesare, F. D.: Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer, 1993.