Synthesis of nets with step firing policies

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5062 LNCS, Issue , 2008, Pages 112-131

  Darondeau, Philippe ^a   Koutny, MacIej ^b   Pietkiewicz Koutny, Marta ^b   Yakovlev, Alex ^b  

^a CAMPUS DE BEAULIEU   (France)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Petri nets; Regions; Step firing policy; Step transition system; Synthesis problem

Indexed keywords

GRAPH THEORY; INFORMATION THEORY; MODEL CHECKING; PETRI NETS; SEMANTICS;

APPLICATIONS.; CHARACTERISATION; CONCURRENT SEMANTICS; EXTENDED PETRI NETS; INTERNATIONAL CONFERENCES; REACHABILITY GRAPHS; REGIONS; STEP FIRING POLICY; STEP TRANSITION SYSTEM; SYNTHESIS ALGORITHMS; SYNTHESIS PROBLEM; SYNTHESIS PROBLEMS; TRANSITION SYSTEMS;

MARINE BIOLOGY;

EID: 48249083382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68746-7_11     Document Type: Conference Paper

References (20)

1. Badouel, E., Bernardinello, L., Darondeau, Ph.: Polynomial Algorithms for the Synthesis of Bounded Nets. In: Mosses, P.D., Nielsen, M., Schwartzbach, M.I. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol. 915, pp. 364-378. Springer, Heidelberg (1995)
2. Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets. Report INRIARR 3025 (1996)
3. Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491, pp. 529-586. Springer, Heidelberg (1998)
4. Bernardinello, L., De Michelis, G., Petruni, K., Vigna, S.: On the Synchronic Structure of Transition Systems. In: Desel, J. (ed.) Structures in Concurrency Theory, pp. 11-31. Springer, Heidelberg (1996)
5. Busi, N., Pinna, G.M.: Synthesis of Nets with Inhibitor Arcs. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 151-165. Springer, Heidelberg (1997)
6. Chernikova, 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, 228-233 (1965)
7. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers. IEICE Trans. on Information and Systems E80-D, 315-325 (1997)
8. Darondeau, Ph., Koutny, M., Pietkiewicz-Koutny, M., Yakovlev, A.: Synthesis of Nets with Step Firing Policies. Report CS-TR-1080, Newcastle University (2008)
9. Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets. Acta Informatica 33, 297-315 (1996)
10. Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; Part I: Basic Notions and the Representation Problem. Acta Informatica 27, 315-342 (1990)
11. Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; Part II: State Spaces of Concurrent Systems. Acta Informatica 27, 343-368 (1990)
12. INA, http://www2.informatik.hu-berlin.de/̃starke/ina.html
13. Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., Pǎun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 292-309. Springer, Heidelberg (2006)
14. Koutny, M., Pietkiewicz-Koutny, M.: Transition Systems of Elementary Net Systems with Localities. In: Baier, C., Hermanns, H. (eds.) CONCUR 2006. LNCS, vol. 4137, pp. 173-187. Springer, Heidelberg (2006)
15. Koutny, M., Pietkiewicz-Koutny, M.: Synthesis of Elementary Net Systems with Context Arcs and Localities. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 281-300. Springer, Heidelberg (2007)
16. Mazurkiewicz, A.: Petri Nets Without Tokens. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 20-23. Springer, Heidelberg (2007)
17. Mukund, M.: Petri Nets and Step Transition Systems. International Journal of Foundations of Computer Science 3, 443-478 (1992)
18. Pietkiewicz-Koutny, M.: The Synthesis Problem for Elementary Nets with Inhibitor Arcs. Fundamenta Informaticae 40, 251-283 (1999)
19. Schrijver, A.: Theory of Linear and Integer Programming. John Wiley, Chichester (1986)
20. Starke, P.: Some Properties of Timed Nets under the Earliest Firing Rule. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol. 424, pp. 418-432. Springer, Heidelberg (1990)