{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T19:17:41Z","timestamp":1730229461539,"version":"3.28.0"},"reference-count":13,"publisher":"Nanyang Technological Univ","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icarcv.2002.1234793","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T14:38:15Z","timestamp":1082731095000},"page":"73-77","source":"Crossref","is-referenced-by-count":0,"title":["A high reliability design for NFS server software based on the logical coloured Petri net"],"prefix":"10.1109","volume":"1","author":[{"given":"S.","family":"Yamaguchi","sequence":"first","affiliation":[]},{"given":"K.","family":"Wasaki","sequence":"additional","affiliation":[]},{"given":"Y.","family":"Shidama","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"45","article-title":"The Detection of Deadlocks in Petri Nets with Ordered Evaluation Sequences","author":"kawamoto","year":"1993","journal-title":"Technical Report of IEICE SS92–29 KBSE92–50"},{"journal-title":"RFC1813","article-title":"NFS Version 3 Protocol Specification","year":"1995","key":"ref11"},{"key":"ref12","article-title":"A process. design for the Network File System model based on the Logical Coloured Petri Net","author":"yamaguchi","year":"2000","journal-title":"Sixth International Conference on Control Automation Robotics and Vision (ICAROV‘2000)"},{"journal-title":"Renew (The Reference Net Workshop)","year":"0","key":"ref13"},{"key":"ref4","article-title":"Coloured Petri Nets. Basic Concepts. Analysis Methods and Practical Use","volume":"1","author":"jensen","year":"1992","journal-title":"Basic Concepts"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1973.5009149"},{"key":"ref6","first-page":"1320","article-title":"Petri Net Based Programming System for FMS","volume":"e75 a","author":"nagao","year":"1992","journal-title":"IEICE Trans Fundamentals"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.21759"},{"key":"ref8","first-page":"101","article-title":"Capacity of the Logical Colored Petri Net (LC-net) as a CASE Tool","author":"wasaki","year":"1993","journal-title":"Technical Report of 1E-ICE CAS93–69"},{"key":"ref7","first-page":"37","article-title":"Extended Petri Nets for Control System Software","author":"wasaki","year":"1993","journal-title":"Technical Report of IEICE COMP93–12 SS 93–0"},{"journal-title":"Petri Net Theory and the Modelling of Systems","year":"1981","author":"peterson","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref9","article-title":"'Ba'sic Concepts for Petri Nets with Boolean Markings","volume":"4","author":"kawamoto","year":"1993","journal-title":"Journal of Formalized Mathmatics"}],"event":{"name":"ICARV 2002: The Seventh International Conference on Control, Automation, Robotics and Vision","acronym":"ICARCV-02","location":"Singapore"},"container-title":["7th International Conference on Control, Automation, Robotics and Vision, 2002. ICARCV 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8741\/27681\/01234793.pdf?arnumber=1234793","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T20:08:04Z","timestamp":1489435684000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1234793\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/icarcv.2002.1234793","relation":{},"subject":[]}}