Structured nets

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

Volumn 118 LNCS, Issue , 1981, Pages 242-251

  Cherkasova, L A ^a   Kotov, V E ^a  

^a INSTITUTE OF COMPUTATIONAL MATHEMATICS AND MATHEMATICAL GEOPHYSICS   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84943296591     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-10856-4_90     Document Type: Conference Paper

References (5)

1. Hack, M. Petri net languages. - TR-159, NIT Lab. Computer Science, Cambridge, Mass., 1976, 128 p.
2. Kotov, V.E. An algebra for parallelism based on Petri nets. - Lecture Notes in Computer Science 64, Springer-Verlag, Berlin 1978, p. 39-55.
3. Hack, M. Decision problems for Petri nets and vector addition systems. - MAC-TM-59, Project MAC, MIT, 1975, 79 P.
4. Kosarajn, S.R. Limitations of Dijkstra's semaphore primitives and Petri nets. - Operating Systems Review, 1973, 7, no.4, p. 122-136.
5. Hack, M. Decidability questions for Petri nets. - TR-161, NIT Lab. Computer Science, Cambridge, Mass., 1976, 194 p.