{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:20Z","timestamp":1772164100895,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[1987,5,1]],"date-time":"1987-05-01T00:00:00Z","timestamp":546825600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1987,5]]},"DOI":"10.1145\/29903.29924","type":"proceedings-article","created":{"date-parts":[[2003,11,13]],"date-time":"2003-11-13T16:09:32Z","timestamp":1068739772000},"page":"175-185","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Modeling the software architecture of a prototype parallel machine"],"prefix":"10.1145","author":[{"given":"M. Ajmone","family":"Marsan","sequence":"first","affiliation":[{"name":"Dipartmento di Elettronica, Politecnico di Torino, corso Duca degli Abruzzi 24, 10129 Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Balbo","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10149 Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Chiola","sequence":"additional","affiliation":[{"name":"Dipartimento di Informatica, Universit\u00e0 di Torino, corso Svizzera 185, 10149 Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Conte","sequence":"additional","affiliation":[{"name":"Dipartmento di Elettronica, Politecnico di Torino, corso Duca degli Abruzzi 24, 10129 Torino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[1987,5]]},"reference":[{"key":"e_1_3_2_1_1_2","volume-title":"Transputer Reference Manual","author":"Limited INMOS","year":"1985","unstructured":"INMOS Limited , Transputer Reference Manual September 1985 . INMOS Limited, Transputer Reference Manual September 1985."},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1981.1675695"},{"key":"e_1_3_2_1_5_2","volume-title":"OCCAM Programming Manual","author":"Limited INMOS","year":"1984","unstructured":"INMOS Limited , OCCAM Programming Manual , Prentice-Hall , Englewood Cliffs, NJ ( 1984 ). INMOS Limited, OCCAM Programming Manual, Prentice-Hall, Englewood Cliffs, NJ (1984)."},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/359576.359585"},{"key":"e_1_3_2_1_7_2","volume-title":"Petri Net Theory and the Modeling of Systems","author":"Peterson J.L.","year":"1981","unstructured":"J.L. Peterson , Petri Net Theory and the Modeling of Systems , Prentice-Hall , Englewood Cliffs, NJ ( 1981 ). J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice-Hall, Englewood Cliffs, NJ (1981)."},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: an Introduction","author":"Reisig W.","year":"1985","unstructured":"W. Reisig , Petri Nets: an Introduction , Springer Verlag ( 1985 ). W. Reisig, Petri Nets: an Introduction, Springer Verlag (1985)."},{"key":"e_1_3_2_1_9_2","volume-title":"proc. 3nf int. Workshop on Modeling Techniques and Performance Evaluation, AFCET","author":"Mola G.","year":"1987","unstructured":"G. C Mola , \" A GrapMcal Petri Net Tool for Performance Analysis ,\" in proc. 3nf int. Workshop on Modeling Techniques and Performance Evaluation, AFCET , Paris, France ( March 1987 ). G. CMola, \"A GrapMcal Petri Net Tool for Performance Analysis,\" in proc. 3nf int. Workshop on Modeling Techniques and Performance Evaluation, AFCET, Paris, France (March 1987)."},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"e_1_3_2_1_11_2","volume-title":"Lille, France (June","author":"Colom J.M.","year":"1986","unstructured":"J.M. Colom , J. Martinez , and M. Silva , \" Packages for Validating Discrete Production Systems Modeled with Petri Nets,\" in proc. 1MACS , , Lille, France (June 1986 ). J.M. Colom, J. Martinez, and M. Silva, \"Packages for Validating Discrete Production Systems Modeled with Petri Nets,\" in proc. 1MACS, , Lille, France (June 1986)."},{"key":"e_1_3_2_1_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/190.191"},{"key":"e_1_3_2_1_13_2","volume-title":"Workshop on Petri Nets and Performance Models","author":"Marsan M. Ajmone","year":"1987","unstructured":"M. Ajmone Marsan , G. Balbo , G. Chiola , and G. Conte , \" Generalized Stochastic Petfi Nets Revisited: Random Switches and Priorities,\" submitted to Int . Workshop on Petri Nets and Performance Models , Madison, WI ( August 1987 ). M. Ajmone Marsan, G. Balbo, G. Chiola, and G. Conte, \"Generalized Stochastic Petfi Nets Revisited: Random Switches and Priorities,\" submitted to Int. Workshop on Petri Nets and Performance Models, Madison, WI (August 1987)."},{"key":"e_1_3_2_1_14_2","volume-title":"Conf. on Computers and Applications, IEEE","author":"Marsan M. Ajmone","year":"1984","unstructured":"M. Ajmone Marsan , G. Chiola , and G. Conte , \" Performance Models of Task Synchronization in Computer Systems,\" in proc. 1n Int . Conf. on Computers and Applications, IEEE , Beijing, China ( June 1984 ). M. Ajmone Marsan, G. Chiola, and G. Conte, \"Performance Models of Task Synchronization in Computer Systems,\" in proc. 1n Int. Conf. on Computers and Applications, IEEE, Beijing, China (June 1984)."},{"key":"e_1_3_2_1_15_2","volume-title":"proc. Int. Workshop on Timed Petri Nets, IEEE, Torino, Italy (July","author":"Zenie A.","year":"1985","unstructured":"A. Zenie , \" Colored Stochastic Petri Nets ,\" in proc. Int. Workshop on Timed Petri Nets, IEEE, Torino, Italy (July 1985 ). A. Zenie, \"Colored Stochastic Petri Nets,\" in proc. Int. Workshop on Timed Petri Nets, IEEE, Torino, Italy (July 1985)."},{"key":"e_1_3_2_1_16_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90049-9"}],"event":{"name":"SIGMETRICS87: The ACM Conference on Measurement and Modeling of Computer Systems","location":"Banff, Alberta Canada","acronym":"SIGMETRICS87","sponsor":["SIGMETRICS ACM Special Interest Group on Measurement and Evaluation"]},"container-title":["Proceedings of the 1987 ACM SIGMETRICS conference on Measurement and modeling of computer systems"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/29903.29924","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/29903.29924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T17:15:23Z","timestamp":1750266923000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/29903.29924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,5]]},"references-count":14,"alternative-id":["10.1145\/29903.29924","10.1145\/29903"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1145\/29903.29924","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/29904.29924","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1987,5]]},"assertion":[{"value":"1987-05-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}