Classifying boolean nets for region-based synthesis

CEUR Workshop Proceedings

Volumn 725, Issue , 2011, Pages 5-21

  Kleijn, Jetty ^a   Koutny, Maciej ^b   Pietkiewicz Koutny, Marta ^b   Rozenberg, Grzegorz ^a,c  

^a LEIDEN UNIVERSITY   (Netherlands)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

^c UCB 450   (United States)

Author keywords

Boolean net; Concurrency; Conflict; Net synthesis; Net type; Petri net; Step semantics; Theory of regions; Transition system

Indexed keywords

BOOLEAN NET; CONCURRENCY; CONFLICT; NET SYNTHESIS; NET-TYPE; THEORY OF REGIONS; TRANSITION SYSTEM;

SEMANTICS;

PETRI NETS;

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

References (14)

1. Badouel, E., Darondeau, Ph.: Theory of Regions. In: Part I of [14] (1998) 529-586.
2. Darondeau, P., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A. : Synthesis of Nets with Step Firing Policies. Fundamenta Informaticae 94 (2009) 275-303.
3. De Bra, P., Houben, G.J., Kornatzky, Y. : A Formal Approach to Analyzing the Browsing Semantics of Hypertext. Proc. CSN-94 Conference (1994) 78-89.
4. Desel, J., Reisig, W. : Place/Transition Petri Nets. In: Part I of [14] (1998) 122-173.
5. Ehrenfeucht, A., Main, M., Rozenberg, G. : Combinatorics of Life and Death for Reaction Systems. International Journal of Foundations of Computer Science 22 (2009) 345-356.
6. Ehrenfeucht, A., Rozenberg, G. : Partial 2-structures; Part I: Basic Notions and Representation Problem, and Part II: State Spaces of Concurrent Systems. Acta Informatica 27 (1990) 315-368.
7. Ehrenfeucht, A., Rozenberg, G. : Reaction Systems. Fundamenta Informaticae 76 (2006) 1-18.
8. Ehrenfeucht, A., Rozenberg, G. : Events and Modules in Reaction Systems. Theoretical Computer Science 376 (2007) 3-16.
9. Heiner, M., Gilbert, D., Donaldson, R. : Petri Nets for Systems and Synthetic Biology. Lecture Notes in Computer Science 5016 (2008) 215-264.
10. Kleijn, J., Koutny, M., Rozenberg, G. : Modelling Reaction Systems with Petri Nets. Technical Report CS-1244. Newcastle University (2011).
11. Koutny, M., Pietkiewicz-Koutny, M. : Synthesis of Elementary Net Systems with Context Arcs and Localities. Fundamenta Informaticae 88 (2008) 307-328.
12. Pietkiewicz-Koutny, M. : The Synthesis Problem for Elementary Net Systems with Inhibitor Arcs. Fundamenta Informaticae 40 (1999) 251-283.
13. Rozenberg, G., Engelfriet, J. : Elementary Net Systems. In: Part I of [14] (1998) 12-122.
14. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets. Lecture Notes in Computer Science 1491, 1492 (1998).