{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T05:12:43Z","timestamp":1705986763481},"reference-count":0,"publisher":"Association for the Advancement of Artificial Intelligence (AAAI)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAAI-SS"],"abstract":"<jats:p>We argue for the use of Petri nets as a modeling language for the iterative development process of interactive robotic systems. Petri nets, particularly Timed Colored Petri nets (TCPNs), have the potential to unify various phases of the development process-design, specification, simulation, validation, implementation, and deployment. We additionally discuss future directions for creating a domain-specific variant of TCPNs tailored specifically for HRI systems development.<\/jats:p>","DOI":"10.1609\/aaaiss.v2i1.27724","type":"journal-article","created":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T00:56:25Z","timestamp":1705971385000},"page":"526-531","source":"Crossref","is-referenced-by-count":0,"title":["Petri Nets for the Iterative Development of Interactive Robotic Systems"],"prefix":"10.1609","volume":"2","author":[{"given":"Pragathi","family":"Praveena","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Schoen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gleicher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Porfirio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bilge","family":"Mutlu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"9382","published-online":{"date-parts":[[2024,1,22]]},"container-title":["Proceedings of the AAAI Symposium Series"],"original-title":[],"link":[{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI-SS\/article\/download\/27724\/27497","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI-SS\/article\/download\/27724\/27497","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T00:56:25Z","timestamp":1705971385000},"score":1,"resource":{"primary":{"URL":"https:\/\/ojs.aaai.org\/index.php\/AAAI-SS\/article\/view\/27724"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":0,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2024,1,22]]}},"URL":"https:\/\/doi.org\/10.1609\/aaaiss.v2i1.27724","relation":{},"ISSN":["2994-4317"],"issn-type":[{"value":"2994-4317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,22]]}}}