{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T02:16:53Z","timestamp":1770430613982,"version":"3.49.0"},"reference-count":19,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1994,8,1]],"date-time":"1994-08-01T00:00:00Z","timestamp":775699200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1994,8]]},"DOI":"10.1016\/0164-1212(94)90084-1","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T17:06:23Z","timestamp":1062608783000},"page":"129-148","source":"Crossref","is-referenced-by-count":4,"title":["Modeling concurrent programs with colored Petri nets"],"prefix":"10.1016","volume":"26","author":[{"given":"Ryan","family":"Stansifer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Beaven","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan C","family":"Marinescu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(94)90084-1_BIB1","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1109\/71.127262","article-title":"An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm","volume":"3","author":"Balbo","year":"1992","journal-title":"IEEE Trans. Parallel Dist. Syst."},{"key":"10.1016\/0164-1212(94)90084-1_BIB2","doi-asserted-by":"crossref","first-page":"760","DOI":"10.1145\/6424.6428","article-title":"Toward Real-Time Performance Benchmarks for Ada","volume":"29","author":"Clapp","year":"1986","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(94)90084-1_BIB3","series-title":"Proceedings of the 13th Annual International Computer Software and Applications Conference, IEEE Computer Society","first-page":"24","article-title":"Derivation of Petri net models of Ada tasking constructs involving time","author":"Fong","year":"1989"},{"key":"10.1016\/0164-1212(94)90084-1_BIB4","series-title":"yFifth International Workshop on Software Specification and Design, IEEE Computer Society","first-page":"60","article-title":"A general way to put time in Petri nets","author":"Ghezzi","year":"1989"},{"key":"10.1016\/0164-1212(94)90084-1_BIB5","series-title":"Proceedings of the 1990 European Simulation Symposium","first-page":"143","article-title":"Petri nets modelling on transputers with occam 2","author":"Gourgand","year":"1990"},{"key":"10.1016\/0164-1212(94)90084-1_BIB6","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1109\/TSE.1987.233170","article-title":"Safety Analysis Using Petri Nets","volume":"SE-13","author":"Leveson","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90084-1_BIB7","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0096-0551(85)90010-4","article-title":"Modeling the Ada Task System by Petri Nets","volume":"10","author":"Mandrioli","year":"1985","journal-title":"Comp. Lang."},{"key":"10.1016\/0164-1212(94)90084-1_BIB8","first-page":"136","article-title":"A Parallel Algorithm for Computing Invariants of Petri Net Models","author":"Marinescu","year":"1991"},{"key":"10.1016\/0164-1212(94)90084-1_BIB9","series-title":"Petri Nets: Central Models and Their Properties","first-page":"300","article-title":"Analysing nets by the invariant method","author":"Memmi","year":"1987"},{"key":"10.1016\/0164-1212(94)90084-1_BIB10","series-title":"The Definition of Standard ML","author":"Milner","year":"1990"},{"key":"10.1016\/0164-1212(94)90084-1_BIB11","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1109\/TCS.1980.1084711","article-title":"Reduction and Expansion of Live and Safe Marked Graphs","volume":"CAS-27","author":"Murata","year":"1980","journal-title":"IEEE Trans. Circuits Syst."},{"key":"10.1016\/0164-1212(94)90084-1_BIB12","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1109\/32.21759","article-title":"Detection of Ada Static Deadlock Using Petri Net Invariants","volume":"SE-15","author":"Murata","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90084-1_BIB13","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1109\/TSE.1987.232852","article-title":"Performance and Reliability Analysis Using Directed Acyclic Graphs","volume":"SE-13","author":"Sahner","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90084-1_BIB14","series-title":"Logic of Programs","first-page":"169","article-title":"On the algorithm properties of concurrent programs","author":"Salwicki","year":"1981"},{"key":"10.1016\/0164-1212(94)90084-1_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 Behavior","volume":"8","author":"Shatz","year":"1988","journal-title":"J. Syst. Software"},{"key":"10.1016\/0164-1212(94)90084-1_BIB16","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1016\/0026-2714(91)90004-Q","article-title":"Petri Net Models of Concurrent Ada Programs","volume":"31","author":"Stansifer","year":"1991","journal-title":"Microelectron. Reliabil"},{"key":"10.1016\/0164-1212(94)90084-1_BIB17","first-page":"96","article-title":"Applying Petri Net Reductions to Support Ada-Tasking Deadlock Detection","author":"Tu","year":"1990"},{"key":"10.1016\/0164-1212(94)90084-1_BIB18","author":"U.S. Department of Defense","year":"1983"},{"key":"10.1016\/0164-1212(94)90084-1_BIB19","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0022-0000(79)90050-3","article-title":"Analysis of Petri Nets by Stepwise Refinements","volume":"18","author":"Valette","year":"1979","journal-title":"J. Comp. Syst. Sci."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900841?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900841?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T10:59:41Z","timestamp":1551092381000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121294900841"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,8]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,8]]}},"alternative-id":["0164121294900841"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(94)90084-1","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1994,8]]}}}