메뉴 건너뛰기




Volumn 13, Issue 6, 2002, Pages 447-470

Distributing finite automata through Petri net synthesis

Author keywords

Distribution; Finite automata; General Petri nets; Regions; Synthesis

Indexed keywords

PETRI NETS; POLYNOMIALS; PROBLEM SOLVING;

EID: 4243146779     PISSN: 09345043     EISSN: None     Source Type: Journal    
DOI: 10.1007/s001650200022     Document Type: Article
Times cited : (59)

References (29)
  • 1
    • 84957675725 scopus 로고
    • Polynomial algorithms for the synthesis of bounded nets
    • [BBD95], Lecture Notes in Computer Science
    • [BBD95] Badouel, E., Bernardinello, L. and Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. Proceedings Caap 95, Lecture Notes in Computer Science, 915, pp. 647-679, 1995.
    • (1995) Proceedings Caap 95 , vol.915 , pp. 647-679
    • Badouel, E.1    Bernardinello, L.2    Darondeau, P.3
  • 2
    • 0031248791 scopus 로고    scopus 로고
    • The synthesis problem for elementary net systems is NP-complete
    • [BBD97]
    • [BBD97] Badouel, E., Bernardinello, L., and Darondeau, P.: The synthesis problem for elementary net systems is NP-complete. Theoretical Computer Science, 186, pp. 107-134, 1997.
    • (1997) Theoretical Computer Science , vol.186 , pp. 107-134
    • Badouel, E.1    Bernardinello, L.2    Darondeau, P.3
  • 3
    • 0004519284 scopus 로고    scopus 로고
    • On the synthesis of general Petri nets
    • [BaD96]
    • [BaD96] Badouel, E. and Darondeau, P.: On the synthesis of general Petri nets. Inria Research Report 3025, 1996.
    • (1996) Inria Research Report , vol.3025
    • Badouel, E.1    Darondeau, P.2
  • 4
    • 0345778906 scopus 로고    scopus 로고
    • On the synchronic structure of transition systems
    • [BDP96], J. Desel, editor, Workshops in Computing. Springer-Verlag
    • [BDP96] Bernardinello, L., De Michelis, G., Petruni, K. and Vigna, S.: On the synchronic structure of transition systems. In J. Desel, editor, Structures in Concurrency Theory, pages 11-31. Workshops in Computing. Springer-Verlag, 1996.
    • (1996) Structures in Concurrency Theory , pp. 11-31
    • Bernardinello, L.1    De Michelis, G.2    Petruni, K.3    Vigna, S.4
  • 5
    • 33645437108 scopus 로고    scopus 로고
    • SYNET: Un outil de synthèse de réseaux de Petri bornés, applications
    • [Cai97]
    • [Cai97] Caillaud, B.; SYNET: un outil de synthèse de réseaux de Petri bornés, applications. Irisa Research Report 1101, 1997.
    • (1997) Irisa Research Report , vol.1101
    • Caillaud, B.1
  • 6
    • 0043286481 scopus 로고    scopus 로고
    • Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata
    • [Cai99]
    • [Cai99] Caillaud, B.: Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata. European Journal of Automation, 33 (9,10), pp. 925-942, 1999.
    • (1999) European Journal of Automation , vol.33 , Issue.9-10 , pp. 925-942
    • Caillaud, B.1
  • 8
    • 0029486982 scopus 로고
    • Synthesising Petri nets from state-based models
    • [CKL95], IEEE Computer Society Press
    • [CKL95] Cortadella, J., Kishinevsky, M., Lavagno, L. and Yakovlev, A.: Synthesising Petri nets from state-based models. In Proceedings of ICCAD'95, pages 164-173. IEEE Computer Society Press, 1995.
    • (1995) Proceedings of ICCAD'95 , pp. 164-173
    • Cortadella, J.1    Kishinevsky, M.2    Lavagno, L.3    Yakovlev, A.4
  • 11
    • 0030533613 scopus 로고    scopus 로고
    • The synthesis problem of Petri nets
    • [DeR96]
    • [DeR96] Desel, J. and Reisig, W.: The synthesis problem of Petri nets. Acta Informatica, 33, pp. 297-315, 1996.
    • (1996) Acta Informatica , vol.33 , pp. 297-315
    • Desel, J.1    Reisig, W.2
  • 12
    • 0001905397 scopus 로고
    • Petri Nets and automata with concurrency relations; an adjunction
    • [DrS93], M. Droste and Y. Gurevich, editors
    • [DrS93] Droste, M. and Shortt, R. M.: Petri Nets and automata with concurrency relations; an adjunction. In M. Droste and Y. Gurevich, editors, Semantics of Programming Languages and Model Theory, pages 69-87, 1993.
    • (1993) Semantics of Programming Languages and Model Theory , pp. 69-87
    • Droste, M.1    Shortt, R.M.2
  • 14
    • 0025405313 scopus 로고
    • Partial (set) 2-structures. Part I: Basic notions and the representation problem
    • [EhR90a]
    • [EhR90a] Ehrenfeucht, A. and Rozenberg, G.; Partial (set) 2-structures. Part I: Basic notions and the representation problem. Acta Informatica, 27, pp. 315-342, 1990.
    • (1990) Acta Informatica , vol.27 , pp. 315-342
    • Ehrenfeucht, A.1    Rozenberg, G.2
  • 15
    • 0025401010 scopus 로고
    • Partial (set) 2-structures. Part II: State spaces of concurrent systems
    • [EhR90b]
    • [EhR90b] Ehrenfeucht, A. and Rozenberg, G.: Partial (set) 2-structures. Part II: State spaces of concurrent systems. Acta Informatica, 27, pp. 343-368, 1990.
    • (1990) Acta Informatica , vol.27 , pp. 343-368
    • Ehrenfeucht, A.1    Rozenberg, G.2
  • 16
    • 0000169535 scopus 로고
    • Branching time and abstraction in bisimulation semantics
    • [vGW89]. North-Holland/IFIP
    • [vGW89] van Glabbeek, R. J. and Weijland, W. P.: Branching time and abstraction in bisimulation semantics. In Proceedings of IFIP Congress, pages 613-618. North-Holland/IFIP, 1989.
    • (1989) Proceedings of IFIP Congress , pp. 613-618
    • Van Glabbeek, R.J.1    Weijland, W.P.2
  • 18
    • 0004201432 scopus 로고
    • English translation; John Wiley
    • English translation; Graphs and Algorithms. John Wiley, 1984.
    • (1984) Graphs and Algorithms
  • 19
    • 0004139863 scopus 로고
    • OSI-formal specification case study: The INRES protocol and service
    • [Hog91], University of Bern
    • [Hog91] Hogrefe, D.: OSI-formal specification case study: the INRES protocol and service. Technical Report 91-012, University of Bern, 1991.
    • (1991) Technical Report , vol.91 , Issue.12
    • Hogrefe, D.1
  • 20
    • 0042666359 scopus 로고
    • Distributable nets
    • [Hop91]. Lecture Notes in Computer Science
    • [Hop91] Hopkins, R.: Distributable nets. Advances in Petri Nets 1991, pages 161-187. Lecture Notes in Computer Science, 524, 1991.
    • (1991) Advances in Petri Nets 1991 , vol.524 , pp. 161-187
    • Hopkins, R.1
  • 21
    • 0003845960 scopus 로고
    • [MaB67]. Chelsea Publishing Company
    • [MaB67] Mac Lane, S. and Birkhoff, G.: Algebra. Chelsea Publishing Company, 1967.
    • (1967) Algebra
    • Mac Lane, S.1    Birkhoff, G.2
  • 23
    • 0004232902 scopus 로고
    • [Rei85]. EATCS Monographs on Theoretical Computer Science. Springer-Verlag
    • [Rei85] Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, volume 4. Springer-Verlag, 1985.
    • (1985) Petri Nets , vol.4
    • Reisig, W.1
  • 24
    • 0013094488 scopus 로고    scopus 로고
    • Supervisory control in discrete event systems using the theory of regions
    • [RXG00]. R. Boel and G. Stremersch, editors, Kluwer Academic Publishers
    • [RXG00] Rezg, N., Xie, X. and Ghaffari, A.: Supervisory control in discrete event systems using the theory of regions. In R. Boel and G. Stremersch, editors, Discrete Event Systems: Analysis and Control, pages 391-398 Kluwer Academic Publishers, 2000.
    • (2000) Discrete Event Systems: Analysis and Control , pp. 391-398
    • Rezg, N.1    Xie, X.2    Ghaffari, A.3
  • 26
    • 33645447064 scopus 로고    scopus 로고
    • [Synet]
    • [Synet] http://ww.irisa.fr/pampa/LOGICIELS/synet/synet.html
  • 27
    • 0000101791 scopus 로고    scopus 로고
    • Test generation with inputs, outputs and repetitive quiescence
    • [Tre96]
    • [Tre96] Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Journal on Software: Concepts and Tools, 17 (3), pp. 391-398, 1996.
    • (1996) Journal on Software: Concepts and Tools , vol.17 , Issue.3 , pp. 391-398
    • Tretmans, J.1
  • 28
    • 33645441856 scopus 로고    scopus 로고
    • Concurrent implementation of asynchronous transition systems
    • [Vog99]. Lecture Notes in Computer Science
    • [Vog99] Vogler, W.: Concurrent implementation of asynchronous transition systems. In Proceedings of ICATPN'99, pages 284-303. Lecture Notes in Computer Science, 1639, 1999.
    • (1999) Proceedings of ICATPN'99 , vol.1639 , pp. 284-303
    • Vogler, W.1
  • 29
    • 0031679674 scopus 로고    scopus 로고
    • Designing control logic for counterflow pipeline processor using Petri nets
    • [Yak98]
    • [Yak98] Yakovlev, A.: Designing control logic for counterflow pipeline processor using Petri nets. Formal Methods in System Design, 12, pp. 39-71, 1998.
    • (1998) Formal Methods in System Design , vol.12 , pp. 39-71
    • Yakovlev, A.1


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