{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:37:26Z","timestamp":1752550646620},"reference-count":31,"publisher":"Elsevier BV","issue":"4","license":[{"start":{"date-parts":[[1989,8,1]],"date-time":"1989-08-01T00:00:00Z","timestamp":617932800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Communications"],"published-print":{"date-parts":[[1989,8]]},"DOI":"10.1016\/0140-3664(89)90196-5","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T22:34:07Z","timestamp":1060295647000},"page":"193-203","source":"Crossref","is-referenced-by-count":4,"title":["Modelling the logical structure of flexible manufacturing systems with Petri-nets"],"prefix":"10.1016","volume":"12","author":[{"given":"P","family":"David Stotts","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert W","family":"Newcomb","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z","family":"Ning Cai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0140-3664(89)90196-5_BIB1","series-title":"Kommunikation mit Automaten PhD dissertation","author":"Petri","year":"1962"},{"key":"10.1016\/0140-3664(89)90196-5_BIB2","series-title":"Record of Project MAC Conf. on Concurrent Syst. & Parallet Computation","first-page":"1","article-title":"Events and conditions","author":"Holt","year":"1970"},{"key":"10.1016\/0140-3664(89)90196-5_BIB3","series-title":"IEEE Int. Workshop on Lang. for Automation","first-page":"57","article-title":"Binary Petri-nets and Prolog for intelligent robots","author":"Cai","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB4","series-title":"Proc. IECON Conf. on Ind. Electr.","first-page":"174","article-title":"A programmable logic controller based on a high level specification tool","author":"Courvoisier","year":"1983"},{"key":"10.1016\/0140-3664(89)90196-5_BIB5","series-title":"IFAC Conf. on Software for Comput. Control","first-page":"83","article-title":"Programmable logic controllers and Petri nets: a comparative study","author":"Silva","year":"1982"},{"key":"10.1016\/0140-3664(89)90196-5_BIB6","article-title":"Manufacturing Workstation Control Using Petri Nets","author":"Crockett","year":"1986"},{"issue":"No 1","key":"10.1016\/0140-3664(89)90196-5_BIB7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TIE.1986.351700","article-title":"A Petri-net based controller for flexible and maintainable sequence control and its applications in factory automation","volume":"Vol 33","author":"Murata","year":"1986","journal-title":"IEEE Trans. Ind. Electr."},{"key":"10.1016\/0140-3664(89)90196-5_BIB8","series-title":"Proc. Int. Workshop on Petri Nets & Perf. Models","first-page":"2","article-title":"Tools of General Net Theory","author":"Petri","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB9","series-title":"Petri Net Theory and the Modelling of Systems","author":"Peterson","year":"1981"},{"key":"10.1016\/0140-3664(89)90196-5_BIB10","series-title":"Proc. IEEE Int. Conf. on Robotics & Automation","first-page":"999","article-title":"Petri nets for robot lattice","author":"Cai","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB11","series-title":"Proc. 21st Hawaii Int. Conf. on Sci. & Syst.","first-page":"630","article-title":"The PFG environment: parallel programming with Petri net semantics","author":"Stotts","year":"1988"},{"key":"10.1016\/0140-3664(89)90196-5_BIB12","article-title":"A Compositional Model For Synchronous VLSI Systems","author":"Gopalakrishnan","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB13","article-title":"A Hierarchical Graph Model of Concurrent Real-Time Software Systems","author":"Stotts","year":"1985"},{"key":"10.1016\/0140-3664(89)90196-5_BIB14","series-title":"Manufacturing Research and Technology 3","first-page":"389","article-title":"Modelling and design of flexible manufacturing systems","author":"Martinez","year":"1986"},{"key":"10.1016\/0140-3664(89)90196-5_BIB15","article-title":"Prototype Software for Automatic Generation of Computer Programs for Discrete Manufacturing Processes","author":"Ekberg","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB16","series-title":"Proc. Int. Workshop on Petri Nets & Perf. Models","first-page":"34","article-title":"On stochastic high-level Petri nets","author":"Lin","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB17","series-title":"Proc. Int. Workshop on Petri Nets & Perf. Models","first-page":"44","article-title":"Generalized stochastic Petri nets revisited: random switches and priorities","author":"Ajmone Marsan","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB18","article-title":"A Predicate-Transition Net Model for Parallel Interpretation of Logic Programs","author":"Murata","year":"1987"},{"key":"10.1016\/0140-3664(89)90196-5_BIB19","series-title":"Lecture Notes in Computer Science # 188: Advances in Petri Nets 1984","first-page":"15","article-title":"Modelling and validation of complex systems by coloured Petri nets: application to a flexible manufacturing system","author":"Alla","year":"1984"},{"key":"10.1016\/0140-3664(89)90196-5_BIB20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/3-540-17906-2_26","article-title":"Nets in production systems","author":"Valette","year":"1987"},{"issue":"No 12","key":"10.1016\/0140-3664(89)90196-5_BIB21","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1109\/MC.1984.1659029","article-title":"An autonomous, decentralized control system for factory automation","volume":"Vol 17","author":"Komoda","year":"1984","journal-title":"IEEE Comput."},{"key":"10.1016\/0140-3664(89)90196-5_BIB22","series-title":"Proc. IEEE Int. Conf. & Exhib. on Ind. Control & Instrumentation","first-page":"18","article-title":"A Petri net based industrial sequencer","author":"Chocron","year":"1980"},{"key":"10.1016\/0140-3664(89)90196-5_BIB23","series-title":"Lecture Notes in Computer Science # 153: Graph Grammars and Their Application to Computer Science","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/BFb0000116","article-title":"Formal specification of software using H-graph semantics","author":"Pratt","year":"1983"},{"key":"10.1016\/0140-3664(89)90196-5_BIB24","series-title":"Proc. Int. Workshop on Timed Petri Nets","first-page":"32","article-title":"Hierarchical modeling of software systems with timed Petri nets","author":"Stotts","year":"1985"},{"key":"10.1016\/0140-3664(89)90196-5_BIB25","series-title":"Petri Nets: An Introduction","author":"Reisig","year":"1985"},{"issue":"No 5","key":"10.1016\/0140-3664(89)90196-5_BIB26","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TSE.1983.235261","article-title":"Timing requirements for time-driven systems using augmented Petri nets","volume":"Vol 9","author":"Coolahan","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0140-3664(89)90196-5_BIB27","series-title":"Proc. 1988 Int. Conf. on Parallel Processing","first-page":"72","article-title":"The PFG language: visual programming for concurrent computation","author":"Stotts","year":"1988"},{"key":"10.1016\/0140-3664(89)90196-5_BIB28","series-title":"Proc. IEEE Southeast Conf. 84","first-page":"291","article-title":"Reliability of basic robot automated manufacturing networks","author":"Alayan","year":"1984"},{"issue":"No 5","key":"10.1016\/0140-3664(89)90196-5_BIB29","doi-asserted-by":"crossref","first-page":"565","DOI":"10.1109\/TCS.1987.1086168","article-title":"Binary Petri-net relationships","volume":"Vol 34","author":"Alayan","year":"1987","journal-title":"IEEE Trans. Circuits & Syst."},{"key":"10.1016\/0140-3664(89)90196-5_BIB30","series-title":"Proc. Int. Workshop on Petri Nets & Perf. Models","first-page":"24","article-title":"Stochastic Petri-nets with simultaneous transition firings","author":"Haas","year":"1987"},{"issue":"No 3","key":"10.1016\/0140-3664(89)90196-5_BIB31","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","article-title":"Coloured Petri-nets and the invariant-method","volume":"Vol 14","author":"Jensen","year":"1981","journal-title":"Theor. Comput. Sci."}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366489901965?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0140366489901965?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:26:33Z","timestamp":1552638393000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0140366489901965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,8]]},"references-count":31,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1989,8]]}},"alternative-id":["0140366489901965"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(89)90196-5","relation":{},"ISSN":["0140-3664"],"issn-type":[{"value":"0140-3664","type":"print"}],"subject":[],"published":{"date-parts":[[1989,8]]}}}