메뉴 건너뛰기




Volumn 88, Issue 4, 2008, Pages 437-468

Synthesis of petri nets from finite partial languages

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; PAPER; PETRI NETS; QUERY LANGUAGES; SEQUENTIAL SWITCHING; SET THEORY; SYNTHESIS (CHEMICAL);

EID: 58149528197     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (42)

References (29)
  • 3
    • 0004519284 scopus 로고    scopus 로고
    • On the Synthesis of General Petri Nets
    • Technical Report 3025, Inria
    • Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets., Technical Report 3025, Inria, 1996.
    • (1996)
    • Badouel, E.1    Darondeau, P.2
  • 4
    • 0040880105 scopus 로고    scopus 로고
    • Theory of Regions
    • Petri Nets W. Reisig, G. Rozenberg, Eds, Springer
    • Badouel, E., Darondeau, P.: Theory of Regions., Petri Nets (W. Reisig, G. Rozenberg, Eds.), Lecture Notes in Computer Science 1491, Springer, 1998, 529-586.
    • (1998) Lecture Notes in Computer Science , vol.1491 , pp. 529-586
    • Badouel, E.1    Darondeau, P.2
  • 5
    • 38049100957 scopus 로고    scopus 로고
    • Process Mining Based on Regions of Languages
    • BPM 2007 G. Alonso, P. Dadam, M. Rosemann, Eds, Springer
    • Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process Mining Based on Regions of Languages., BPM 2007 (G. Alonso, P. Dadam, M. Rosemann, Eds.), Lecture Notes in Computer Science 4714, Springer, 2007, 375-383.
    • (2007) Lecture Notes in Computer Science , vol.4714 , pp. 375-383
    • Bergenthum, R.1    Desel, J.2    Lorenz, R.3    Mauser, S.4
  • 8
    • 84947234425 scopus 로고    scopus 로고
    • Hardware and Petri Nets: Application to Asynchronous Circuit Design
    • ICATPN 2000 M. Nielsen, D. Simpson, Eds, Springer
    • Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Hardware and Petri Nets: Application to Asynchronous Circuit Design., ICATPN 2000 (M. Nielsen, D. Simpson, Eds.), Lecture Notes in Computer Science 1825, Springer, 2000, 1-15.
    • (2000) Lecture Notes in Computer Science , vol.1825 , pp. 1-15
    • Cortadella, J.1    Kishinevsky, M.2    Kondratyev, A.3    Lavagno, L.4    Yakovlev, A.5
  • 9
    • 84945977925 scopus 로고    scopus 로고
    • Deriving Unbounded Petri Nets from Formal Languages
    • CONCUR 1998 D. Sangiorgi, R. de Simone, Eds, Springer
    • Darondeau, P.: Deriving Unbounded Petri Nets from Formal Languages., CONCUR 1998 (D. Sangiorgi, R. de Simone, Eds.), Lecture Notes in Computer Science 1466, Springer, 1998, 533-548.
    • (1998) Lecture Notes in Computer Science , vol.1466 , pp. 533-548
    • Darondeau, P.1
  • 11
    • 58149508740 scopus 로고    scopus 로고
    • Desel, J., Lorenz, R., Mauser, S., Bergenthum, R.: VipTool-Homepage, 2008, Hrttp://www.informatik.kueichstaett.de/projekte/vip/.
    • Desel, J., Lorenz, R., Mauser, S., Bergenthum, R.: VipTool-Homepage, 2008, Hrttp://www.informatik.kueichstaett.de/projekte/vip/.
  • 12
    • 0030533613 scopus 로고    scopus 로고
    • The Synthesis Problem of Petri Nets
    • Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets., Acta Inf., 33(4), 1996, 297-315.
    • (1996) Acta Inf , vol.33 , Issue.4 , pp. 297-315
    • Desel, J.1    Reisig, W.2
  • 13
    • 0025405313 scopus 로고
    • Partial (Set) 2-Structures. Part 1: Basic Notions and the Representation Problem
    • Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part 1: Basic Notions and the Representation Problem., Acta Inf., 27(4), 1989, 315-342.
    • (1989) Acta Inf , vol.27 , Issue.4 , pp. 315-342
    • Ehrenfeucht, A.1    Rozenberg, G.2
  • 14
    • 0025401010 scopus 로고
    • Partial (Set) 2-Structures. Part 11: State Spaces of Concurrent Systems
    • Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part 11: State Spaces of Concurrent Systems., Acta Inf., 27(4), 1989, 343-368.
    • (1989) Acta Inf , vol.27 , Issue.4 , pp. 343-368
    • Ehrenfeucht, A.1    Rozenberg, G.2
  • 15
    • 0001303720 scopus 로고
    • On partial languages
    • Grabowski, J.: On partial languages., Fundamenta Informaticae, 4(2), 1981,428-498.
    • (1981) Fundamenta Informaticae , vol.4 , Issue.2 , pp. 428-498
    • Grabowski, J.1
  • 17
    • 21144442166 scopus 로고    scopus 로고
    • A Programming Approach to the Design of Asynchronous Logic Blocks
    • Concurrency and Hardware Design J. Cortadella, A. Yakovlev, G. Rozenberg, Eds, Springer
    • Josephs, M. B., Furey, D. P.: A Programming Approach to the Design of Asynchronous Logic Blocks., Concurrency and Hardware Design (J. Cortadella, A. Yakovlev, G. Rozenberg, Eds.), Lecture Notes in Computer Science 2549, Springer, 2002, 34-60.
    • (2002) Lecture Notes in Computer Science , vol.2549 , pp. 34-60
    • Josephs, M.B.1    Furey, D.P.2
  • 18
    • 26444558161 scopus 로고    scopus 로고
    • Can 1 Execute My Scenario in Your Net?
    • ICATPN 2005 G. Ciardo, P. Darondeau, Eds, Springer
    • Juliás, G., Lorenz, R., Desel, J.: Can 1 Execute My Scenario in Your Net?, ICATPN 2005 (G. Ciardo, P. Darondeau, Eds.), Lecture Notes in Computer Science 3536, Springer, 2005,289-308.
    • (2005) Lecture Notes in Computer Science , vol.3536 , pp. 289-308
    • Juliás, G.1    Lorenz, R.2    Desel, J.3
  • 19
    • 0346927758 scopus 로고
    • On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets
    • Kiehn, A,: On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets., Elektronische Informationsverarbeitung und Kybernetik, 24(1/2), 1988, 3-18,
    • (1988) Elektronische Informationsverarbeitung und Kybernetik , vol.24 , Issue.1-2 , pp. 3-18
    • Kiehn, A.1
  • 20
    • 51149116824 scopus 로고    scopus 로고
    • Synthesis of Petri Nets from Finite Partial Languages
    • IEEE Computer Society
    • Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages., ACSD 2007, IEEE Computer Society, 2007,157-166.
    • (2007) ACSD 2007 , pp. 157-166
    • Lorenz, R.1    Bergenthum, R.2    Desel, J.3    Mauser, S.4
  • 21
    • 33746099373 scopus 로고    scopus 로고
    • Towards Synthesis of Petri Nets from Scenarios
    • ICATPN 2006 S. Donatelli, P. S. Thiagarajan, Eds, Springer
    • Lorenz, R., Juhás, G.: Towards Synthesis of Petri Nets from Scenarios., ICATPN 2006 (S. Donatelli, P. S. Thiagarajan, Eds.), Lecture Notes in Computer Science 4024, Springer, 2006, 302-321.
    • (2006) Lecture Notes in Computer Science , vol.4024 , pp. 302-321
    • Lorenz, R.1    Juhás, G.2
  • 25
    • 34250124963 scopus 로고
    • Modelling Concurrency with Partial Orders
    • Pratt, V.: Modelling Concurrency with Partial Orders., Int. Journal of Parallel Programming, 15, 1986, 33-71.
    • (1986) Int. Journal of Parallel Programming , vol.15 , pp. 33-71
    • Pratt, V.1
  • 27
    • 0001599825 scopus 로고
    • Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
    • Tschernikow, S. N.: Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities., USSR Computational Mathematics and Mathematical Physics, 5(2), 1965, 228-233.
    • (1965) USSR Computational Mathematics and Mathematical Physics , vol.5 , Issue.2 , pp. 228-233
    • Tschernikow, S.N.1
  • 29
    • 0003310162 scopus 로고
    • Modular Construction and Partial Order Semantics of Petri Nets
    • of, Springer
    • Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets, vol. 625 of Lecture Notes in Computer Science, Springer, 1992.
    • (1992) Lecture Notes in Computer Science , vol.625
    • Vogler, W.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.