Modelling reaction systems with petri nets (extended abstract)

CEUR Workshop Proceedings

Volumn 724, Issue , 2011, Pages 36-52

  Kloijn, Jetty ^a   Koutny, Ylaciej ^b   Rozonborg, Grzogorz ^a,c  

^a LEIDEN UNIVERSITY   (Netherlands)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

^c University of Colorado at Boulder   (United States)

Author keywords

Living cell; Model translation; Natural computing; Petri net; Reaction system; Set net

Indexed keywords

LIVING CELL; MODEL TRANSLATION; NATURAL COMPUTING; REACTION SYSTEM; SET-NET;

SEMANTICS;

PETRI NETS;

EID: 84890395846     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. E.Badoucl and P.Darondeau : Theory of regions. Lecture Notes in Computer Science 1491 (1998) 529-586.
2. R.Brijder, A.Ehrcnfcueht, M.G.Main and G.Rozenberg: Reaction systems with duration. Lecture Notes in Computer Science 6610 (2011) 191-202.
3. R.Brijder, A.Ehrenfcueht, M.G.Main and G.Rozenberg: A Tour of Reaction Systems. Int. Journal of Foundations of Computer Science (2011).
4. L.Czaja: A Calculus of Nets. Cybernetics and Systems Analysis 29 (1993) 185-193.
5. P.De Bra, G.J.Houben and Y.Kornatzky: A Formal Approach to Analyzing the Browsing Semantics of Hypertext. Proc. CSN-94 Conference (1994) 78-89.
6. C.Dufourd, A.Finkel, and Ph Schnoebelen: Reset Nets Between Decidability and Undecidability Lecture Notes in Computer Science 1443 (1998) 103-115.
7. A.Ehrenfeueht, M.Maui and G.Rozenberg: Combinatorics of Life and Death for Reaction Systems. Int. J. of Foundations of Computer Science 22 (2009) 345-356.
8. A.Ehrenfeueht and G.Rozenberg: Reaction Systems. Fundamcnta Informatieac 76 (2006) 1-18.
9. A.Elirenfeucht and G.Rozenberg: Events and Modules in Reaction Systems. Theoretical Computer Science 376 (2007) 3-16.
10. A.Elirenfeucht and G.Rozenberg: Introducing Time in Reaction Systems. Theoretical Computer Science 410 (2009) 310 -322.
11. M.Heiner. D.Gilbert and R.Donaldson: Petri Nets for Systems and Synthetic Biology. Lecture Notes in Computer Science 5016 (2008) 215-264.
12. R.Janieki and M.Koutny: Semantics of Inhibitor Nets. Information and Computation 123 (1995) 1-16.
13. K.Jensen: Coloured Petri Nets and the Invariant-Method. Theoretical Compututer Science 14 (1981) 317-336.
14. J.Kleijn and M.Koutny: Processes of Petri Nets with Range Testing. Fiindamenta Informaticae 80 (2007) 199-219.
15. J.Kleijn, M.Koutny and G.Rozenberg: Process Semantics for Membrane Systems. Journal of Automata, Languages and Combinatorics 11 (2006) 321-340.
16. J.Kleijn, M.Koutny and G.Rozenberg: Modelling Reaction Systems with Petri Nets. Technical Report CS-1244. Newcastle University (2011).
17. M.Koutny and M.Pietkiewicz-Koutny: Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundamenta Informaticae 88 (2008) 307-328.
18. U.Montanari and F.Rossi: Contextual Nets. Acta Informatica 32 (1995) 545-596.
19. G.Rozenberg and J.Engclfriet: Elementary Net Systems. Lecture Notes in Computer Science 1491 (1998) 12-121.
20. A.Yakovlev, M.Kishinevsky, A.Kondratyev and L.Lavagno et. al: OR Causality: Modelling and Hardware Implementation. Lecture Notes in Computer Science 815 (1994) 568-587.