{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:34:57Z","timestamp":1694626497267},"reference-count":15,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1996,8,1]],"date-time":"1996-08-01T00:00:00Z","timestamp":838857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. B"],"published-print":{"date-parts":[[1996,8]]},"DOI":"10.1109\/3477.517034","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T19:45:59Z","timestamp":1030218359000},"page":"599-605","source":"Crossref","is-referenced-by-count":3,"title":["Petri nets modeling and analysis using extended bag-theoretic relational algebra"],"prefix":"10.1109","volume":"26","author":[{"family":"Young Chan Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Tag Gon Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/50202.50252"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/588111.588132"},{"key":"ref12","article-title":"algebraic properties of bag data types","author":"albert","year":"1991","journal-title":"Proc 17th Int Conf Very Large Data Bases"},{"key":"ref13","author":"peterson","year":"1981","journal-title":"Petri Net Theory and Modeling of Systems"},{"key":"ref14","author":"hails","year":"1993","journal-title":"isqlperl---Perl Interface to Informix Databases"},{"key":"ref15","author":"wall","year":"1991","journal-title":"Programming perl"},{"key":"ref4","author":"holzmann","year":"1991","journal-title":"Design and Validation of Computer Protocols"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.4659"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/49.16865"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.4637"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1147\/rd.206.0560"},{"key":"ref7","first-page":"30","article-title":"how to make a very cheap petri net interpreter with a dbms","author":"sibertin-blanc","year":"1988","journal-title":"Petri Net Newsletter"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.4651"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1982.1095452"},{"key":"ref9","article-title":"iris: an object-oriented database management system","volume":"6","author":"fishman","year":"1987","journal-title":"ACM Trans Office Inform Syst"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/3477\/11064\/00517034.pdf?arnumber=517034","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:07:05Z","timestamp":1638216425000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/517034\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,8]]},"references-count":15,"journal-issue":{"issue":"4"},"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/3477.517034","relation":{},"ISSN":["1083-4419","1941-0492"],"issn-type":[{"value":"1083-4419","type":"print"},{"value":"1941-0492","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,8]]}}}