{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T04:01:49Z","timestamp":1751860909230,"version":"3.41.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/snpd.2018.8441070","type":"proceedings-article","created":{"date-parts":[[2018,8,23]],"date-time":"2018-08-23T22:08:40Z","timestamp":1535062120000},"page":"352-357","source":"Crossref","is-referenced-by-count":1,"title":["Event-B Formalization of Basic Supply Chain Patterns"],"prefix":"10.1109","author":[{"given":"Chalika","family":"Saksupawattanakul","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref11","article-title":"Analysis of asynchronous concurrent systems by timed petri nets","author":"ramchandani","year":"1973","journal-title":"Massachusetts Institute of Technology"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.5772\/47829"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"351","DOI":"10.3233\/FUN-2004-613-409","article-title":"A method to prove non-reachability in priority duration Petri nets","volume":"61","author":"werner","year":"2004","journal-title":"Fundamenta Informaticae"},{"journal-title":"The B-Book Assigning Programs to Meanings","year":"2005","author":"abrial","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"journal-title":"Rodin User's Handbook Covers Rodin v 2 8","year":"2014","author":"jastram","key":"ref16"},{"journal-title":"The ProB Animator and Model Checker - ProB Documentation","year":"0","key":"ref17"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/978-3-642-30885-7_14","article-title":"SMT solvers for Rodin","author":"deharbe","year":"2012","journal-title":"Abstract State Machines, Alloy, B, VDM, and Z"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2010.492800"},{"key":"ref3","article-title":"Supply Chain Event Management Enables Companies to Take Control of Extended Supply Chains","author":"waheed","year":"2001","journal-title":"Report on European E- Business AMR Research"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69390-1_11"},{"key":"ref5","article-title":"A negotiation-based multi-agent system for supply chain management","volume":"99","author":"chen","year":"1999","journal-title":"Working Notes of the Agents"},{"journal-title":"Petri net approaches for modeling controlling and validating flexible manufacturing systems","year":"1994","author":"choi","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.dss.2006.12.009"},{"key":"ref2","first-page":"28","article-title":"A new take on supply chain event management","volume":"7","author":"alvarenga","year":"2003","journal-title":"Supply Chain Management Review"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32021-7_15"},{"journal-title":"Petri Nets Tools Database Quick Overview","year":"0","key":"ref9"}],"event":{"name":"2018 19th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)","start":{"date-parts":[[2018,6,27]]},"location":"Busan","end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 19th IEEE\/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing (SNPD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8422066\/8441025\/08441070.pdf?arnumber=8441070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T14:18:34Z","timestamp":1751811514000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8441070\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/snpd.2018.8441070","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}