{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T05:27:36Z","timestamp":1734154056454,"version":"3.30.2"},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2017f32","type":"proceedings-article","created":{"date-parts":[[2017,9,24]],"date-time":"2017-09-24T20:49:44Z","timestamp":1506286184000},"page":"377-386","source":"Crossref","is-referenced-by-count":3,"title":["Threefold Analysis of Distributed Systems: IMDS, Petri Net and Distributed Automata DA3"],"prefix":"10.15439","volume":"13","author":[{"given":"Wiktor","family":"Daszczuk","sequence":"first","affiliation":[]}],"member":"6175","published-online":{"date-parts":[[2017,9,24]]},"event":{"acronym":"FedCSIS 2017","name":"2017 Federated Conference on Computer Science and Information Systems","start":{"date-parts":[[2017,9,3]]},"end":{"date-parts":[[2017,9,6]]}},"container-title":["Annals of Computer Science and Information Systems","Communiation Papers of the 2017 Federated Conference on Computer Science and Information Systems"],"original-title":[],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T21:07:40Z","timestamp":1734124060000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_13\/drp\/32.html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,24]]},"references-count":0,"URL":"https:\/\/doi.org\/10.15439\/2017f32","relation":{},"ISSN":["2300-5963"],"issn-type":[{"type":"print","value":"2300-5963"}],"subject":[],"published":{"date-parts":[[2017,9,24]]}}}