{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T22:52:49Z","timestamp":1762296769136,"version":"3.44.0"},"reference-count":17,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1992,7,1]],"date-time":"1992-07-01T00:00:00Z","timestamp":709948800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[1992,7,1]],"date-time":"1992-07-01T00:00:00Z","timestamp":709948800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Parallel and Distributed Computing"],"published-print":{"date-parts":[[1992,7]]},"DOI":"10.1016\/0743-7315(92)90002-5","type":"journal-article","created":{"date-parts":[[2004,2,23]],"date-time":"2004-02-23T15:14:09Z","timestamp":1077549249000},"page":"171-187","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":25,"title":["Understanding parallel program behavior through petri net models"],"prefix":"10.1016","volume":"15","author":[{"given":"Gianfranco","family":"Balbo","sequence":"first","affiliation":[]},{"given":"Susanna","family":"Donatelli","sequence":"additional","affiliation":[]},{"given":"Giuliana","family":"Franceschinis","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0743-7315(92)90002-5_BIB1","doi-asserted-by":"crossref","first-page":"699","DOI":"10.1016\/0026-2714(91)90010-5","article-title":"An introduction to generalized stochastic Petri nets","volume":"31","author":"Ajmone Marsan","year":"1991","journal-title":"Microelectron. Reliability"},{"issue":"1","key":"10.1016\/0743-7315(92)90002-5_BIB2","article-title":"An example of modelling and evaluation of a concurrent program using coloured stochastic Petri nets: Lamport's fast mutual exclusion algorithm","volume":"3","author":"Balbo","year":"1992","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"key":"10.1016\/0743-7315(92)90002-5_BIB3","series-title":"Proc. 4th International Workshop on Petri Nets and Performance Models","article-title":"GSPN versus SPN: what is the actual role of immediate transitions?","author":"Chiola","year":"1991"},{"key":"10.1016\/0743-7315(92)90002-5_BIB4","series-title":"Proc. 5th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation","article-title":"GreatSPN 1.5 software architecture","author":"Chiola","year":"1991"},{"key":"10.1016\/0743-7315(92)90002-5_BIB5","series-title":"Application and Theory of Petri Nets","article-title":"Superposed automata nets","author":"De Cindio","year":"1982"},{"key":"10.1016\/0743-7315(92)90002-5_BIB6","series-title":"Proc. 4th International Workshop on Petri Nets and Performance Models","article-title":"Comparing Occam2 program placements by a GSPN model","author":"De Cindio","year":"1991"},{"key":"10.1016\/0743-7315(92)90002-5_BIB7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-50580-6_25","article-title":"An exercise in concurrency: a CSP process as a Condition Event system","author":"Degano","year":"1988"},{"key":"10.1016\/0743-7315(92)90002-5_BIB8","series-title":"Proc. IFIP-WG 10.3 Working Conference on Decentralized Systems","article-title":"Modelling mappings of parallel computations onto parallel architectures with prm-net model","author":"Ferscha","year":"1989"},{"issue":"4","key":"10.1016\/0743-7315(92)90002-5_BIB9","doi-asserted-by":"crossref","DOI":"10.1016\/0167-739X(90)90036-D","article-title":"Parallel software development in disc programming environment","volume":"5","author":"Iannello","year":"1990","journal-title":"Future Generation Comput. Systems"},{"year":"1984","author":"INMOS Limited","key":"10.1016\/0743-7315(92)90002-5_BIB10"},{"year":"1989","author":"MEIKO Limited","journal-title":"CSTools Reference Manual","key":"10.1016\/0743-7315(92)90002-5_BIB11"},{"issue":"1","key":"10.1016\/0743-7315(92)90002-5_BIB12","doi-asserted-by":"crossref","DOI":"10.1145\/6462.6485","article-title":"Distributed discrete event simulation","volume":"18","author":"Misra","year":"1986","journal-title":"ACM Comput. Surveys"},{"issue":"3","key":"10.1016\/0743-7315(92)90002-5_BIB13","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.21759","article-title":"Detection of Ada static deadlocks using Petri nets invariants","volume":"15","author":"Murata","year":"1989","journal-title":"IEEE Trans. Software Engrg"},{"year":"1989","author":"Shatz","series-title":"Tutorial on Distributed Software Engineering","key":"10.1016\/0743-7315(92)90002-5_BIB14"},{"key":"10.1016\/0743-7315(92)90002-5_BIB15","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/0164-1212(88)90027-1","article-title":"A Petri net framework for automated static analysis of Ada tasking","volume":"8","author":"Shatz","year":"1987","journal-title":"J. Systems Software"},{"year":"1985","author":"Silva","series-title":"Las Redes de Petri en la Automatica y la Informatica","key":"10.1016\/0743-7315(92)90002-5_BIB16"},{"key":"10.1016\/0743-7315(92)90002-5_BIB17","doi-asserted-by":"crossref","DOI":"10.1145\/69586.69587","article-title":"A general purpose algorithm for analyzing concurrent programs","volume":"26","author":"Taylor","year":"1983","journal-title":"Comm. ACM"}],"container-title":["Journal of Parallel and Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743731592900025?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0743731592900025?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T14:28:40Z","timestamp":1757514520000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0743731592900025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,7]]},"references-count":17,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1992,7]]}},"alternative-id":["0743731592900025"],"URL":"https:\/\/doi.org\/10.1016\/0743-7315(92)90002-5","relation":{},"ISSN":["0743-7315"],"issn-type":[{"type":"print","value":"0743-7315"}],"subject":[],"published":{"date-parts":[[1992,7]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Understanding parallel program behavior through petri net models","name":"articletitle","label":"Article Title"},{"value":"Journal of Parallel and Distributed Computing","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/0743-7315(92)90002-5","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 1992 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}]}}