{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T17:48:49Z","timestamp":1726422529767},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/coase.2007.4341688","type":"proceedings-article","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T17:45:29Z","timestamp":1191951929000},"page":"20-25","source":"Crossref","is-referenced-by-count":2,"title":["Specification of Production Systems using PPN and Sequential Operation Charts"],"prefix":"10.1109","author":[{"given":"Petter","family":"Falkman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bengt","family":"Lennartson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristin","family":"Andersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"ISO 10303-1 Industrial Automation Systems and Integration - Product Data Representation and Exchange ?Part 1 Overview and Fundamental Principles","year":"1994","key":"15"},{"key":"13","article-title":"Finite Transition Systems: Semantics of Communicating Systems","author":"arnold","year":"1994","journal-title":"ser International Series in Computer Science"},{"key":"14","article-title":"Communicating Sequential Processes","author":"hoare","year":"1985","journal-title":"ser International Series in Computer Science"},{"article-title":"Modelling and implementation aspects of supervisory control","year":"2000","author":"hellgren","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2001.945769"},{"article-title":"Methods and tools in supervisory control theory","year":"2002","author":"a?kesson","key":"3"},{"year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4070-7"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2001.936825"},{"key":"7","first-page":"196","article-title":"Petri nets and algebraic calculi of processes","author":"olderog","year":"1987","journal-title":"Advances in Petri Nets 266 of Lecture Notes in Computer Science Springer-Verlag Berlin Germany"},{"year":"0","key":"6"},{"key":"5","article-title":"Petri nets, process algebras and concurent programming languages","author":"best","year":"1998","journal-title":"Proc ICMMT 98"},{"year":"0","key":"4"},{"article-title":"In terms of nets:system design with petri nets and process algebra","year":"1998","author":"basten","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.1996.494453"}],"event":{"name":"2007 IEEE International Conference on Automation Science and Engineering","start":{"date-parts":[[2007,9,22]]},"location":"Scottsdale, AZ, USA","end":{"date-parts":[[2007,9,25]]}},"container-title":["2007 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4341639\/4341640\/04341688.pdf?arnumber=4341688","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T22:43:11Z","timestamp":1489704191000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4341688\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/coase.2007.4341688","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}