Concurrency relations and the safety problem for petri nets

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

Volumn 616 LNCS, Issue , 1992, Pages 299-309

  Kovalyov, A V ^a  

^a of Eng Cybern of Byelorussian Academy of Sciences ^*  (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ORDINARY PETRI NET; SAFETY PROBLEMS; UPPER BOUND;

PETRI NETS;

EID: 81255198179     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-55676-1_17     Document Type: Conference Paper

References (13)

1. E.Best, J.Desel: Partial order behaviour and structure of Petri nets. Formal Aspects of Computing Vol.2 No.2, (1990) 123-138.
2. G.Berthelot: Checking properties of nets using transformation. - In: Advances in Petri nets. 1985. LNCS, 222, 1986, 19-40.
3. E.Best: The relative strength of K-density. LNCS, 84, 1980, 261-276.
4. J.Esparza, M.Silva: A polynomial-time Algorithm to decide Llveness of Bounded Free Choice Nets. Hildesheimer Informatlkberichte Nr.12/90.
5. J.Esparza: Structure Theory of Free Choice Nets, PhD Thesis - Universidad Zaragoza (90).
6. J.Desel, J.Esparza: Reachability in Reversible Free Choice Systems, LNCS 480: STACS 91.
7. F.Commoner, A.W.Holt, S.Even, A.Pnuell: Marked Directed Graphs. J.Comput. Syst. Sci., Vol.5, (1971) 511-523.
8. M.T.Hack: Analysis of production schemata by Petri nets, TR-94, MIT, Cambridge, MA, 1972, pp.119. Corrections 1974.
9. R.Janicki: Nets, Sequential Components and Concurrency Relations. Theoretical Computer Science 29 (1984) 87-121.
10. N.D.Jones, L.H.Landweber, Y.E.Lien: Complexity of some Problem in Petri nets. Theoretical Computer Science 4, (1977) 277-299.
11. M.Jantzen, R.Valk: Formal Properties of Place-Transition Nets. LNCS 84, 1980, 165-212.
12. CA.Petrl; Concurrency. LNCS, 84, 1980, 251-260.
13. A.D.Zakrevsky: To the Theory of Concurrent Logic Control Algorithms. Izv. AN SSSR. Engineering Cybernetics. 1989. no.5. pp.79-91. In Russian.