{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T04:23:46Z","timestamp":1649219026151},"reference-count":30,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"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":[[1990,1]]},"DOI":"10.1016\/0164-1212(90)90109-y","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:49:55Z","timestamp":1060318195000},"page":"53-69","source":"Crossref","is-referenced-by-count":0,"title":["Formal specifications of resource-deadlock prone petri nets"],"prefix":"10.1016","volume":"11","author":[{"given":"D.E.","family":"Cooke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"85\u201394","key":"10.1016\/0164-1212(90)90109-Y_BIB1","article-title":"Putting Petri Nets to Work","volume":"12","author":"Agerwala","year":"1979","journal-title":"IEEE Computer"},{"issue":"3","key":"10.1016\/0164-1212(90)90109-Y_BIB2","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/358568.358586","article-title":"Parallel Programs: Proofs, Principles, and Practices","volume":"24","author":"Andrews","year":"1981","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB3","series-title":"Proceedings of the 7th IEEE International Conference on Software Engineering","first-page":"510","article-title":"Specification and Verification of Distributed Systems Using Prolog Interpreted Petri Nets","author":"Azema","year":"1984"},{"issue":"11","key":"10.1016\/0164-1212(90)90109-Y_BIB4","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/359642.359651","article-title":"Distributed Processes: A Concurrent Programming Concept","volume":"21","author":"Hansen","year":"1978","journal-title":"Commun. ACM"},{"issue":"2","key":"10.1016\/0164-1212(90)90109-Y_BIB5","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1109\/TSE.1975.6312840","article-title":"The Programming Language Concurrent Pascal","volume":"SE-1","author":"Hansen","year":"1975","journal-title":"IEEE Trans. Software Eng."},{"issue":"1","key":"10.1016\/0164-1212(90)90109-Y_BIB6","first-page":"40","article-title":"Petri Nets","volume":"2","author":"Celko","year":"1984","journal-title":"Abacus"},{"issue":"1","key":"10.1016\/0164-1212(90)90109-Y_BIB7","doi-asserted-by":"crossref","DOI":"10.1109\/TSE.1987.232560","article-title":"Local Distributed Deadlock Detection by Cycle Detection and Clustering","volume":"SE-13","author":"Cidon","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/0164-1212(90)90109-Y_BIB8","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1145\/357360.357365","article-title":"Distributed Deadlock Detection","volume":"1","author":"Chandy","year":"1983","journal-title":"ACM Trans. Comput. Syst."},{"key":"10.1016\/0164-1212(90)90109-Y_BIB9","series-title":"Parallel Programming in ANSI Standard Ada","author":"Cherry","year":"1984"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB10","article-title":"A Solution to the Deadlock Problem Using Petri Nets Implemented in Prolog","author":"Cooke","year":"1986"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB11","first-page":"53","article-title":"Petri Nets: A Tool for Representing Concurrency in Space Station Applications","volume":"Vol. 851","author":"Cooke","year":"1987"},{"issue":"5","key":"10.1016\/0164-1212(90)90109-Y_BIB12","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TSE.1983.235261","article-title":"Timing Requirements for Time-Driven Systems Using Petri Nets","volume":"SE-9","author":"Coolahan","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"10.1016\/0164-1212(90)90109-Y_BIB13","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1145\/828.322441","article-title":"Synthesis of a Class of Deadlock-Free Petri Nets","volume":"31","author":"Datta","year":"1984","journal-title":"J. Assoc. Comput. Machinery"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB14","series-title":"Programming Languages","first-page":"43","article-title":"Cooperating sequential processes","author":"Djikstra","year":"1968"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB15","article-title":"An Introduction to a Theory of Communicating Processes","author":"Hennessy","year":"1983"},{"issue":"1","key":"10.1016\/0164-1212(90)90109-Y_BIB16","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1145\/2455.2460","article-title":"Algebraic Laws for Non-determinism and Concurrency","volume":"32","author":"Hennessy","year":"1985","journal-title":"J. Assoc. Comput. Machinery"},{"issue":"8","key":"10.1016\/0164-1212(90)90109-Y_BIB17","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","article-title":"Communicating Sequential Processes","volume":"21","author":"Hoare","year":"1978","journal-title":"Commun. ACM"},{"issue":"2","key":"10.1016\/0164-1212(90)90109-Y_BIB18","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1145\/2993.2381","article-title":"Communicating Sequential Processes for Centralized and Distributed Operating Systems Design","volume":"6","author":"Hull","year":"1984","journal-title":"ACM Trans. Program. Lang."},{"key":"10.1016\/0164-1212(90)90109-Y_BIB19","doi-asserted-by":"crossref","unstructured":"V. Kotov, An Algebra for Parallelism Based on Petri Nets, in Lecture Notes in Computer Science: Mathematical Foundations of Computer Science, Berlin pp. 39\u201354.","DOI":"10.1007\/3-540-08921-7_55"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB20","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/MS.1984.229462","article-title":"An Interleave Principle for Demonstrating Concurrent Programs","author":"Lewis","year":"1984","journal-title":"IEEE Software"},{"issue":"8","key":"10.1016\/0164-1212(90)90109-Y_BIB21","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1109\/TC.1973.5009150","article-title":"Macro E-Nets for Representation of Parallel Systems","volume":"C-22","author":"Noe","year":"1973","journal-title":"IEEE Trans. Computers"},{"issue":"2","key":"10.1016\/0164-1212(90)90109-Y_BIB22","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1145\/319702.319717","article-title":"Distributed Deadlock Detection Algorithm","volume":"7","author":"Obermark","year":"1982","journal-title":"ACM Trans. Data Base Syst."},{"issue":"5","key":"10.1016\/0164-1212(90)90109-Y_BIB23","first-page":"432","article-title":"Software Aspects of Strategic Defense Systems","volume":"73","author":"Parnas","year":"1985","journal-title":"American Scientist"},{"issue":"3","key":"10.1016\/0164-1212(90)90109-Y_BIB24","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1145\/356698.356702","article-title":"Petri Nets","volume":"9","author":"Peterson","year":"1977","journal-title":"Computing Surveys"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB25","series-title":"Petri Net Theory and Modeling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0164-1212(90)90109-Y_BIB26","series-title":"Kommunikaten mit Automaten","author":"Petri","year":"1962"},{"issue":"5","key":"10.1016\/0164-1212(90)90109-Y_BIB27","doi-asserted-by":"crossref","first-page":"440","DOI":"10.1109\/TSE.1980.230492","article-title":"Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets","volume":"SE-6","author":"Ravamoorthy","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(90)90109-Y_BIB28","series-title":"Petri Nets An Introduction","author":"Reisig","year":"1982"},{"issue":"2","key":"10.1016\/0164-1212(90)90109-Y_BIB29","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1002\/spe.4380140204","article-title":"Concurrent Communication and Synchronization Mechanisms","volume":"14","author":"Williamson","year":"1984","journal-title":"Software Practice and Experience"},{"issue":"8","key":"10.1016\/0164-1212(90)90109-Y_BIB30","doi-asserted-by":"crossref","first-page":"577","DOI":"10.1145\/359763.359798","article-title":"Toward a Discipline of Real-Time Programming","volume":"20","author":"Wirth","year":"1977","journal-title":"Commun. ACM"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129090109Y?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016412129090109Y?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,25]],"date-time":"2020-03-25T05:33:20Z","timestamp":1585114400000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016412129090109Y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,1]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,1]]}},"alternative-id":["016412129090109Y"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(90)90109-y","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1990,1]]}}}