Petri Nets

ACM Computing Surveys (CSUR)

Volumn 9, Issue 3, 1977, Pages 223-252

  Peterson, James L ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

asynchronous concurrent events; Petn nets; system models

Indexed keywords

COMPUTER METATHEORY;

EID: 0017538857     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/356698.356702     Document Type: Article

References (12)

1. Iliffe, J. K.; and Jodeit, Jane G. “A dynamic storage allocation system”, Computer J. 5 (1962), 200.
2. Burroughs Corp. The descriptor, 1961.
3. Iliffe, J. K. “The use of the Genie system in numerical calculation,” in Annual Rev. Automatic Programming, Vol 1. Pergamon Press, Elmsford, N.Y., 1961.
4. Iliffe, J. K. Basic machine principles, Macdonald/American Elsevier, N. Y. (1st ed.), 1968.
5. Dennis, J. B.; and Van Horn, E. C. “Programming semantics for multiprogrammed computations,” Comm. ACM 9, 3 (March 1966), 143-155.
6. Dennis, J. B. “Computer architecture and the cost of software,” SIGARCH News, (April 1976).
7. Smith, W. R. et al. “SYMBOL—a large experimental system exploring major hardware replacement of software,” in Proc. 1971 Spring Jt. Computer Conf. Vol. 38, AFIPS Press, Montvale, N.J., 1971, 601-616.
8. Floyd, R. W. “Assigning meanings to programs,” in Proc. Symp. Applied Math. 19, Mathematical Aspects of Computer Science, American Mathematical Society, Providence, R.I., 1967.
9. Gorn, S. Common programming language task, Part 1, Sect. 5, final Report AD59UR1, U. S. Army Signals Corp; Contract No. DA-36-039-se-75047, Moore School of Electrical Engineering, July 1959.
10. Hoare, C. A. R. “Monitors: an operating system structuring concept,” Comm. ACM 17, 10 (Oct. 1974), 549-557.
11. Brinch Hansen, P. Operating systems principles, Prentice-Hall Englewood Cliffs, N.J., 1973.
12. Dahl, O.-J.; Myrhaug, B.; and Nygaard, K. The Simula 67 common base language, Norwegian Computing Centre, Oslo, Norway, 1968.