{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T23:15:26Z","timestamp":1648854926487},"reference-count":14,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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":["Information and Software Technology"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1016\/0950-5849(95)90932-k","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T01:45:07Z","timestamp":1027647907000},"page":"563-571","source":"Crossref","is-referenced-by-count":0,"title":["Relational algebraic framework for the modelling and analysis of Petri nets"],"prefix":"10.1016","volume":"37","author":[{"given":"Kim","family":"Young Chan","sequence":"first","affiliation":[]},{"given":"Kim","family":"Tag Gon","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0950-5849(95)90932-K_BIB1","doi-asserted-by":"crossref","first-page":"2497","DOI":"10.1109\/TCOM.1982.1095452","article-title":"Petri nets theory for the correctness of protocols","volume":"Vol COM-30","author":"Berthelot","year":"1982","journal-title":"IEEE Trans. Comm."},{"key":"10.1016\/0950-5849(95)90932-K_BIB2","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","article-title":"PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols","volume":"Vol 14","author":"Billington","year":"1988","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(95)90932-K_BIB3","author":"Holzmann","year":"1991"},{"key":"10.1016\/0950-5849(95)90932-K_BIB4","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1109\/32.4659","article-title":"An interactive protocol synthesis algorithm using a global state transition graph","volume":"Vol 14","author":"Zhang","year":"1988","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(95)90932-K_BIB5","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/32.4637","article-title":"A relational algebraic approach to protocol verification","volume":"Vol 14","author":"Lee","year":"1988","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/0950-5849(95)90932-K_BIB6","doi-asserted-by":"crossref","first-page":"324","DOI":"10.1109\/49.16865","article-title":"Protocol verification using database technology","volume":"Vol 7","author":"Frieder","year":"1989","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"10.1016\/0950-5849(95)90932-K_BIB7","doi-asserted-by":"crossref","first-page":"1218","DOI":"10.1109\/TSE.1987.232877","article-title":"SPANNER: a tool for the specification, analysis and evaluation of protocols","volume":"Vol SE-13","author":"Aggarwal","year":"1987","journal-title":"IEEE Trans. on SE"},{"key":"10.1016\/0950-5849(95)90932-K_BIB8","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","article-title":"A relational model of data for large shared data banks","volume":"Vol 13","author":"Codd","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(95)90932-K_BIB9","volume":"Vol 1","author":"Ullman","year":"1988"},{"key":"10.1016\/0950-5849(95)90932-K_BIB10","author":"Peterson","year":"1981"},{"key":"10.1016\/0950-5849(95)90932-K_BIB11","author":"Reisig","year":"1985"},{"key":"10.1016\/0950-5849(95)90932-K_BIB12","first-page":"541","article-title":"Petri nets: properties, analysis and applications","volume":"Vol 77","author":"Murata","year":"1989"},{"key":"10.1016\/0950-5849(95)90932-K_BIB13","author":"Marsan","year":"1986"},{"key":"10.1016\/0950-5849(95)90932-K_BIB14","series-title":"Programming languages","article-title":"Cooperating sequential processes","author":"Dijkstra","year":"1968"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499590932K?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:095058499590932K?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T11:20:36Z","timestamp":1555327236000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/095058499590932K"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":14,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["095058499590932K"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(95)90932-k","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}