메뉴 건너뛰기




Volumn 88, Issue 3, 2008, Pages 307-328

Synthesis of elementary net systems with context arcs and localities

Author keywords

Activator arcs; Context arcs; Elementary net systems; Inhibitor arcs; Localities; Net synthesis; Petri nets; Step sequence semantics; Structure and behaviour of nets; Theory of concurrency; Theory of regions; Transition systems

Indexed keywords

GRAPH THEORY; INFORMATION THEORY; MARINE BIOLOGY; PETRI NETS; SEMANTICS;

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

References (23)
  • 2
    • 0040880105 scopus 로고    scopus 로고
    • Theory of Regions
    • W. Reisig, G, Rozenberg, Eds, Springer
    • Badouel, E., Darondeau, P.: Theory of Regions, Petri Nets (W. Reisig, G, Rozenberg, Eds.), 1491, Springer, 1996.
    • (1996) Petri Nets , pp. 1491
    • Badouel, E.1    Darondeau, P.2
  • 4
    • 58149508757 scopus 로고    scopus 로고
    • Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets
    • W. Reisig, G. Rozenberg, Eds, Springer
    • Billington, J.: Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets, Petri Nets (2) (W. Reisig, G. Rozenberg, Eds.), 1492, Springer, 1998.
    • (1998) Petri Nets (2) , pp. 1492
    • Billington, J.1
  • 5
    • 0039694000 scopus 로고    scopus 로고
    • Synthesis of Nets with Inhibitor Arcs
    • A. W. Mazurkiewicz, J. Winkowski, Eds, Springer
    • Busi, N., Pinna, G. M.: Synthesis of Nets with Inhibitor Arcs, CONCUR (A. W. Mazurkiewicz, J. Winkowski, Eds.), 1243, Springer, 1997.
    • (1997) CONCUR , pp. 1243
    • Busi, N.1    Pinna, G.M.2
  • 6
    • 48249140350 scopus 로고    scopus 로고
    • Synthesis of Nets with Step Firing Policies
    • Technical Report CS-TR-1080, Newcastle University
    • Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.: Synthesis of Nets with Step Firing Policies, Technical Report CS-TR-1080, Newcastle University, 2008.
    • (2008)
    • Darondeau, P.1    Koutny, M.2    Pietkiewicz-Koutny, M.3    Yakovlev, A.4
  • 8
    • 58149521168 scopus 로고    scopus 로고
    • Modelling and Analysis of Distributed Software Using GSPNs
    • W. Reisig, G. Rozenberg, Eds, Springer
    • Donatelli, S., Franceschinis, G.: Modelling and Analysis of Distributed Software Using GSPNs, Petri Nets (2) (W. Reisig, G. Rozenberg, Eds.), 1492, Springer, 1998.
    • (1998) Petri Nets (2) , pp. 1492
    • Donatelli, S.1    Franceschinis, G.2
  • 9
    • 0025386067 scopus 로고
    • Theory of 2-Structures, Part 1: Clans, Basic Subclasses, and Morphisms
    • Ehrenfeucht, A., Rozenberg, G.: Theory of 2-Structures, Part 1: Clans, Basic Subclasses, and Morphisms, Theor. Comput. Sci., 70(3), 1990,277-303.
    • (1990) Theor. Comput. Sci , vol.70 , Issue.3 , pp. 277-303
    • Ehrenfeucht, A.1    Rozenberg, G.2
  • 10
    • 0030574523 scopus 로고    scopus 로고
    • Trapping Mutual Exclusion in the Box Calculus
    • Esparza, J., Brans, G.: Trapping Mutual Exclusion in the Box Calculus, Theor. Comput. Sci., 153(1&2), 1996,95-128.
    • (1996) Theor. Comput. Sci , vol.153 , Issue.1-2 , pp. 95-128
    • Esparza, J.1    Brans, G.2
  • 11
    • 0016972709 scopus 로고
    • Formal Verification of Parallel Programs
    • Keller, R. M.: Formal Verification of Parallel Programs, Commun. ACM, 19(7), 1976, 371-384.
    • (1976) Commun. ACM , vol.19 , Issue.7 , pp. 371-384
    • Keller, R.M.1
  • 12
    • 38149022949 scopus 로고    scopus 로고
    • Synchrony and Asynchrony in Membrane Systems
    • H. J. Hoogeboom, G. Paun, G. Rozenberg, A. Salomaa, Eds, Springer
    • Kleijn, J., Koutny, M.: Synchrony and Asynchrony in Membrane Systems, Workshop on Membrane Computing (H. J. Hoogeboom, G. Paun, G. Rozenberg, A. Salomaa, Eds.), 4361, Springer, 2006.
    • (2006) Workshop on Membrane Computing , pp. 4361
    • Kleijn, J.1    Koutny, M.2
  • 13
    • 58149493513 scopus 로고    scopus 로고
    • Towards a Petri Net Semantics for Membrane Systems
    • R. Freund, G. Paun, G. Rozenberg, A. Salomaa, Eds, Springer
    • Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems, Workshop on Membrane Computing (R. Freund, G. Paun, G. Rozenberg, A. Salomaa, Eds.), 3850, Springer, 2005.
    • (2005) Workshop on Membrane Computing , pp. 3850
    • Kleijn, J.1    Koutny, M.2    Rozenberg, G.3
  • 14
    • 33749571109 scopus 로고    scopus 로고
    • Transition Systems of Elementary Net Systems with Localities
    • C. Baier, H. Hermanns, Eds, Springer
    • Koutny, M., Pietkiewicz-Koutny, M.: Transition Systems of Elementary Net Systems with Localities, CONCUR (C. Baier, H. Hermanns, Eds.), 4137, Springer, 2006.
    • (2006) CONCUR , pp. 4137
    • Koutny, M.1    Pietkiewicz-Koutny, M.2
  • 15
    • 38149120804 scopus 로고    scopus 로고
    • Synthesis of Elementary Net Systems with Context Arcs and Localities
    • J. Kleijn, A. Yakovlev, Eds, Springer
    • Koutny, M., Pietkiewicz-Koutny, M.: Synthesis of Elementary Net Systems with Context Arcs and Localities, ICATPN (J. Kleijn, A. Yakovlev, Eds.), 4546, Springer, 2007.
    • (2007) ICATPN , pp. 4546
    • Koutny, M.1    Pietkiewicz-Koutny, M.2
  • 16
    • 21844489027 scopus 로고
    • Contextual Nets
    • Montanari, U., Rossi, F: Contextual Nets, Acta Inf., 32(6), 1995, 545-596.
    • (1995) Acta Inf , vol.32 , Issue.6 , pp. 545-596
    • Montanari, U.1    Rossi, F.2
  • 17
    • 0000873334 scopus 로고
    • Petri Nets and Step Transition Systems
    • Mukund, M.: Petri Nets and Step Transition Systems, Int. J. Found. Comput. Sci., 3(4), 1992, 443-478.
    • (1992) Int. J. Found. Comput. Sci , vol.3 , Issue.4 , pp. 443-478
    • Mukund, M.1
  • 19
    • 0002659052 scopus 로고
    • Models for Concurrency
    • S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, Eds
    • Nielsen, M., Winskel, G.: Models for Concurrency, in: Handbook of Logic in Computer Science 4 (S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, Eds.), 1995, 1-148.
    • (1995) Handbook of Logic in Computer Science 4 , pp. 1-148
    • Nielsen, M.1    Winskel, G.2
  • 20
    • 0037174201 scopus 로고    scopus 로고
    • A guide to membrane computing
    • Paun, G., Rozenberg, G.: A guide to membrane computing, Theor. Comput. Sci., 287(1), 2002, 73-100.
    • (2002) Theor. Comput. Sci , vol.287 , Issue.1 , pp. 73-100
    • Paun, G.1    Rozenberg, G.2
  • 21
    • 0040368689 scopus 로고    scopus 로고
    • The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs
    • Pietkiewicz-Koutny, M.: The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs, Fundam. Inform., 40(2-3), 1999, 251-283.
    • (1999) Fundam. Inform , vol.40 , Issue.2-3 , pp. 251-283
    • Pietkiewicz-Koutny, M.1
  • 22
    • 0036537155 scopus 로고    scopus 로고
    • Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems
    • Pietkiewicz-Koutny, M.: Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems, Fundam. Inform., 50(2), 2002, 175-203.
    • (2002) Fundam. Inform , vol.50 , Issue.2 , pp. 175-203
    • Pietkiewicz-Koutny, M.1
  • 23
    • 58149495100 scopus 로고    scopus 로고
    • Vogler, W.: Partial Order Semantics and Read Arcs, MFCS (1. Prívara, P. Ruzicka, Eds.), 1295, Springer, 1997.
    • Vogler, W.: Partial Order Semantics and Read Arcs, MFCS (1. Prívara, P. Ruzicka, Eds.), 1295, Springer, 1997.


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