{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T09:30:03Z","timestamp":1775899803523,"version":"3.50.1"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[1979,12,1]],"date-time":"1979-12-01T00:00:00Z","timestamp":312854400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[1979,12]]},"DOI":"10.1109\/mc.1979.1658580","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T20:35:32Z","timestamp":1188938132000},"page":"85-94","source":"Crossref","is-referenced-by-count":164,"title":["Special Feature: Putting Petri Nets to Work"],"prefix":"10.1109","volume":"12","author":[{"family":"Agerwala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"65","article-title":"petri nets and legal systems","volume":"12","author":"meldman","year":"1971","journal-title":"Jurimetric Journal"},{"key":"ref32","article-title":"analysis of production schemata by petri nets","author":"hack","year":"1972","journal-title":"MAC TR-94 Project MAC"},{"key":"ref31","author":"genrich","year":"1975","journal-title":"The Petri Net Representation of Mathematical Knowledge"},{"key":"ref30","author":"thieler-mevissen","year":"1976","journal-title":"Interner Bericht ISF-76-09 institut fur Informationssystemforschung Gesellschaft fur Mathematic und Datenverabeitung"},{"key":"ref37","author":"hack","year":"1975","journal-title":"Computation Structures Group Memo 124 Project MAC"},{"key":"ref36","article-title":"on the completeness of representation schemes for concurrent systems","author":"agerwala","year":"1976","journal-title":"Conf on Petri Nets and Related Methods"},{"key":"ref35","author":"agerwala","year":"1975","journal-title":"Towards a Theory for the Analysis and Synthesis of Systems Exhibiting Concurrency"},{"key":"ref34","first-page":"122","volume":"7","author":"kosaraju","year":"1973","journal-title":"Limitations of Dijkstra's Semaphore Primitives and Petri Nets"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264467"},{"key":"ref11","article-title":"limitations and capabilities of dijskstra's , semaphore primitives for coordination among processes","author":"patil","year":"1971","journal-title":"Computation Structures Group Memo 57"},{"key":"ref12","first-page":"13","article-title":"modeling for parallel computation: a case study","author":"baer","year":"1973","journal-title":"Proc 1973 Sagamore Computer Conf Parallel Processing"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.231172"},{"key":"ref14","article-title":"a robust algorithm for updating duplicate data bases","author":"ellis","year":"1977","journal-title":"Second Berkeley Workshop on Distributed Data Management"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1973.5009150"},{"key":"ref16","first-page":"105","article-title":"models of distributed systems","author":"chandy","year":"0","journal-title":"Proc 1977 Int'l Conf on Very Large Data Bases"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093347"},{"key":"ref18","first-page":"66","article-title":"graph modeling of computer communication protocols","author":"postel","year":"1976","journal-title":"Proc Fifth Texas Conf on Computing Systems"},{"key":"ref19","author":"gostelow","year":"1971","journal-title":"Flow of Control Resource Allocation and the Proper Termination of Programs"},{"key":"ref28","first-page":"313","article-title":"a model for parallel control systems and communication systems","author":"valette","year":"0","journal-title":"Proc 1976 Conf on Information Sciences and Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/800146.804803"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360251"},{"key":"ref6","first-page":"43","author":"dijkstra","year":"1968","journal-title":"Programming Languages"},{"key":"ref29","author":"petri","year":"1975","journal-title":"Interner Bericht 75-07 Gesellschaft fur Mathematik und Datenverabeitung"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/800024.808367"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/800123.803973"},{"key":"ref7","first-page":"184","article-title":"use of petri nets for proving correctness of concurrent process systems","author":"lautenbach","year":"1974","journal-title":"Proc IFIP Congress 74"},{"key":"ref2","author":"hoare","year":"1973","journal-title":"Parallel Programming an Axiomatic Approach"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1978.1585190"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref20","first-page":"55","article-title":"modular asynchronous control structures for a high performance processor","author":"dennis","year":"1970","journal-title":"Record of the Prohect MAC Conf Concurrent Systems and Parallel Computation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/355609.362318"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0066-4138(70)90003-0"},{"key":"ref24","article-title":"coordination of asynchronous events","author":"patil","year":"1970","journal-title":"MAC TR-72 Project MAC"},{"key":"ref23","first-page":"223","article-title":"the description and realization of digital systems","author":"patil","year":"1972","journal-title":"Digest of Papers COMPCON 72"},{"key":"ref26","first-page":"421","article-title":"modeling and design description of hierarchical hardware\/software systems","author":"rose","year":"1975","journal-title":"Proc 12th Design Automation Conf"},{"key":"ref25","author":"pacas-skewes","year":"1979","journal-title":"A Design Methodology for Digital Systems Using Petri Nets"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/2\/34726\/01658580.pdf?arnumber=1658580","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:56:34Z","timestamp":1642006594000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1658580\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,12]]},"references-count":37,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/mc.1979.1658580","relation":{},"ISSN":["0018-9162"],"issn-type":[{"value":"0018-9162","type":"print"}],"subject":[],"published":{"date-parts":[[1979,12]]}}}