{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T22:19:27Z","timestamp":1769811567056,"version":"3.49.0"},"reference-count":21,"publisher":"Institute of Electrical and Electronics Engineers","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/robot.1987.1087860","type":"proceedings-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T19:54:47Z","timestamp":1111607687000},"page":"1180-1185","source":"Crossref","is-referenced-by-count":45,"title":["Modeling, validation and software implementation of production systems using high level Petri nets"],"prefix":"10.1109","volume":"4","author":[{"given":"J.","family":"Martinez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Muro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-84524-6_10"},{"key":"ref11","first-page":"457","article-title":"Packages for validating discrete production systems modeled with Petri nets","author":"colom","year":"1986","journal-title":"Procs of IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems"},{"key":"ref12","author":"silva","year":"1986","journal-title":"B-fairness and Structural B-fairness in Petri nets models of concurrent systems"},{"key":"ref13","author":"silva","year":"1986","journal-title":"Towards a synchronic theory in Petri nets"},{"key":"ref14","first-page":"83","article-title":"Programmable Logic Controllers and Petri Nets: A Comparative Study","author":"silva","year":"1982","journal-title":"?roc of Software for Computer Control SOCOCO'82"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1983.235118"},{"key":"ref16","first-page":"207","article-title":"On software implementation of Petri nets and colored Petri nets using high-level concurrent languages","author":"colom","year":"1986","journal-title":"Proc 7th Europ Workshop Application Theory Petri Nets"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312948"},{"key":"ref18","year":"1986","journal-title":"Modelling and Design of Flexible Manufacturing Systems"},{"key":"ref19","first-page":"25","article-title":"ISIS, A Knowledge-Based System for Factory Scheduling","volume":"1","author":"fox","year":"1984","journal-title":"Expert Systems the Int'l J Knowledge Engineering"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-1388-6_18"},{"key":"ref3","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modeling of Systems"},{"key":"ref6","year":"1985","journal-title":"Proc IEEE Int Workshop on Timed Petri Nets"},{"key":"ref5","year":"0"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1007\/3-540-15204-0_13","volume":"188","author":"huber","year":"0","journal-title":"Advances in Petri Nets 1984"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"jensen","year":"1981","journal-title":"Theoretical Computer Science"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0376-5075(82)90112-X"},{"key":"ref1","author":"silva","year":"1987","journal-title":"Las redes en la Autom\ufffdtica y la Informatica"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"ref20","author":"lautenbach","year":"1985","journal-title":"On logical and linear dependencies"},{"key":"ref21","article-title":"A High-Level Petri Net Model for Parallel Interpretation of Logic Programs","author":"murata","year":"1986","journal-title":"Procs of the 1986 Inter Conf on Computer Languages"}],"event":{"name":"1987 IEEE International Conference on Robotics and Automation","location":"Raleigh, NC, USA"},"container-title":["Proceedings. 1987 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8153\/23644\/01087860.pdf?arnumber=1087860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T17:38:19Z","timestamp":1497634699000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1087860\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/robot.1987.1087860","relation":{},"subject":[]}}