{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T04:43:49Z","timestamp":1722919429688},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icsmc.2003.1244569","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T18:38:15Z","timestamp":1082745495000},"page":"1167-1174","source":"Crossref","is-referenced-by-count":0,"title":["A combination of Petri nets and process network synthesis"],"prefix":"10.1109","volume":"2","author":[{"given":"S.","family":"Gyapay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Pataricza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"465","article-title":"Petri Net-based Optimization of Production Systems","author":"gyapay","year":"2002","journal-title":"In 6th IEEE Int Conf on Intelligent Engineering Systems"},{"key":"ref3","first-page":"53","article-title":"Optimization Methods for Reachability Analysis of Petri Net Models","author":"gyapay","year":"2003","journal-title":"In Proc of FORMS-2003 Budapest Hungary May 15–16)"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1145\/157485.164884","article-title":"on computing the transitive closure of a state transition relation","author":"matsunaga","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"article-title":"The SPIN Model Checker – Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44829-2_1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/12.926158"},{"key":"ref2","article-title":"Profiting from Spin in PEP","author":"grahlmann","year":"1998","journal-title":"In SPIN'98 Workshop"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00039-4"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/978-1-4613-3437-8_35","article-title":"Combinatorially Accelerated Branch-and-Bound Method for Solving MIP Model of Process Network Synthesis, Nonconvex Optimization and its Applications","author":"friedler","year":"1996","journal-title":"State of the Arts in Global Opimization Computational Methods and Applications"}],"event":{"name":"SMC '03 2003 IEEE International Conference on Systems, Man and Cybernetics","acronym":"ICSMC-03","location":"Washington, DC, USA"},"container-title":["SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8811\/27880\/01244569.pdf?arnumber=1244569","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:22:42Z","timestamp":1497594162000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1244569\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2003.1244569","relation":{},"subject":[]}}