Towards synthesis of Petri nets from scenarios

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

Volumn 4024 LNCS, Issue , 2006, Pages 302-321

  Lorenz, Robert ^a   Juhás, Gabriel ^b  

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

^b SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; FORMAL LANGUAGES;

LABELLED PARTIAL ORDERS (LPO); SEQUENTIALIZATION;

PETRI NETS;

EID: 33746099373     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11767589_17     Document Type: Conference Paper

References (29)

1. W.M.P. van der Aalst, A.K.A. de Medeiros and A.J.M.M. Weijters. Genetic Process Mining. LNCS 3536, pages 48-69, 2005.
2. W.M.P. van der Aalst, T. Weijters and L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. IEEE Trans. Knowl. Data Eng. 16/9, pages 1128-1142, 2004.
3. E. Badouel and P. Darondeau. Theory of Regions. LNCS 1491, pages 529-586, 1998.
4. J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev. Deriving Petri Nets for Finite Transition Systems. IEEE Trans. Computers 47/8, pages 859-882, 1998.
5. P. Darondeau. Unbounded Petri Net Synthesis. LNCS 3098, pages 413-438, 2004.
6. J. Desel and W. Reisig. The Synthesis Problem of Petri Nets. Acta Inf. 33/4, pages 297-315, 1996.
7. A. Ehrenfeucht and G. Rozenberg. Partial (Set) 2-Structures. Part I: Basic Notions and the Representation Problem. Acta Inf. 27/4, pages 315-342, 1989.
8. A. Ehrenfeucht and G. Rozenberg. Partial (Set) 2-Structures. Part II: State Spaces of Concurrent Systems. Acta Inf. 27/4, pages 343-368, 1989.
9. J. Esparza and K. Heljanko Implementing LTL Model Checking with Net Unfoldings. LNCS 2057, pages 37-56, 2001.
10. L.R. Ford, Jr. and D.R. Fulkerson. Maximal Flow Through a Network. Canadian Journal of Mathematics 8, pp. 399-404, 1955.
11. A. Goldberg and S. Rao. Beyond the Flow Decomposition Barrier. Journal of the ACM 45/5, pp. 783-797, 1998.
12. U. Goltz and W. Reisig. The Non-Sequential Behaviour of Petri Nets. Information and Control, 57(2-3), pp. 125-147, 1983.
13. U. Goltz and W. Reisig. Processes of Place/Transition Nets. LNCS 154, pp. 264-277, 1983.
14. J. Grabowski. On Partial Languages. Fundamenta Informaticae IV.2, pp. 428-498, 1981.
15. D. Harel, H. Kugler and A. Pnueli. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. LNCS 3393, pages 309-324, 2005.
16. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine Springer, 2003.
17. P.W. Hoogers and H.C.M. Kleijn and P.S. Thiagarajan. A trace semantics for Petri nets. Information and Computation 117/1, pp. 98-114, 1995.
18. G. Juhás and R. Lorenz and I. Desel. Can I execute my scenario in your net? LNCS 3536, pp. 289-308, 2005.
19. A.V. Karzanov. Determining the Maximal Flow in a Network by the Method of Preflows. Soviet Math. Doc. 15, pp. 434-437, 1974.
20. A. Kiehn. On the Interrelationship between Synchronized and Non-Synchronized Behavior of Petri Nets. Journal Inf. Process. Cybem. EIK 24, pp. 3 - 18, 1988.
21. J. Klose and H. Wittke. An Automata Based Interpretation of Live Sequence Charts. LNCS 2031, pages 512-527, 2001.
22. M. Lettrari and J. Klose. Scenario-Based Monitoring and Testing of Real-Time UML Models. LNCS 2185, pages 317-328, 2001.
23. N. Mansurov. Automatic synthesis of SDL from MSC and its applications in forward and reverse engineering. Comput. Lang. 27/1, pages 115-136, 2001.
24. M. Mukund. Petri Nets and Step Transition Systems, Int. J. Found. Comput. Sci. 3/4, pages 443-478, 1992.
25. M. Nielsen, G. Rozenberg and P.S. Thiagarajan. Elementary Transition Systems. Theor. Comput. Sci. 96/1, pages 3-33, 1992.
26. M. Nielsen, G. Rozenberg and P.S. Thiagarajan. Transition systems, event structures and unfoldings. Information and Computation 118/2, pages 191-207, 1995.
27. V. Pratt. Modelling Concurrency with Partial Orders. Int. Journal of Parallel Programming 15, pp. 33-71, 1986.
28. A. Roychoudhury, P.S. Thiagarajan, T. Tran and V.A. Zvereva. Automatic Generation of Protocol Converters from Scenario-Based Specifications. Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), pages 447-458, 2004.
29. W. Vogler. Modular Construction and Partial Order Semantics of Petri Nets. LNCS 625, 1992.