{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T11:45:44Z","timestamp":1744803944698,"version":"3.28.0"},"reference-count":17,"publisher":"Institution of Engineering and Technology (IET)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Comput. Digit. Tech."],"published-print":{"date-parts":[[2007,9,4]]},"DOI":"10.1049\/iet-cdt:20060071","type":"journal-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T22:33:48Z","timestamp":1189809228000},"page":"612-624","source":"Crossref","is-referenced-by-count":3,"title":["Fast and memory-efficient invariant computation of ordinary Petri nets"],"prefix":"10.1049","volume":"1","author":[{"given":"C.-F.","family":"Law","sequence":"first","affiliation":[{"name":"Integrated Systems Research Laboratory, School of Electrical and Electronic Engineering, Nanyang Technological University, Nanyang Avenue, 639798, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.-H.","family":"Gwee","sequence":"additional","affiliation":[{"name":"Integrated Systems Research Laboratory, School of Electrical and Electronic Engineering, Nanyang Technological University, Nanyang Avenue, 639798, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.S.","family":"Chang","sequence":"additional","affiliation":[{"name":"Integrated Systems Research Laboratory, School of Electrical and Electronic Engineering, Nanyang Technological University, Nanyang Avenue, 639798, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/iet-cdt:20060071_r1","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"Murata","year":"1989","ISSN":"http:\/\/id.crossref.org\/issn\/0018-9219","issn-type":"print"},{"key":"10.1049\/iet-cdt:20060071_r2","doi-asserted-by":"crossref","first-page":"1904","DOI":"10.1109\/TCAD.2005.860958","volume":"25","author":"Cortadella","year":"2006","ISSN":"http:\/\/id.crossref.org\/issn\/0278-0070","issn-type":"print"},{"key":"10.1049\/iet-cdt:20060071_r3","doi-asserted-by":"crossref","first-page":"1554","DOI":"10.1109\/ICSMC.2001.973505","author":"Dawis","year":"2001","journal-title":"Proc. IEEE Conf. on Systems, Man, and Cybernetics"},{"key":"10.1049\/iet-cdt:20060071_r4","doi-asserted-by":"crossref","unstructured":"Silva, M., and Colom, J.M.: \u2018Convex geometry and semiflows in P\/T nets: a comparative study of algorithms for computation of minimal P-semiflows\u2019, Lectures Notes in Computer Science, (Springer-Verlag, Berlin 1991),483, p. 79\u2013112","DOI":"10.1007\/3-540-53863-1_22"},{"first-page":"2838","year":"1991","author":"Tanida","key":"10.1049\/iet-cdt:20060071_r5"},{"key":"10.1049\/iet-cdt:20060071_r6","first-page":"2228","author":"Borujij","year":"1997","journal-title":"Proc. IEEE Int. Conf. on Systems, Man, and Cybernatics"},{"key":"10.1049\/iet-cdt:20060071_r7","first-page":"1741","author":"Borujij","year":"1997","journal-title":"Proc. IEEE Int. Conf. on Systems, Man, and Cybernatics"},{"key":"10.1049\/iet-cdt:20060071_r8","first-page":"1","volume":"124","author":"Farkas","year":"1902"},{"key":"10.1049\/iet-cdt:20060071_r9","first-page":"215","volume":"11","author":"D'Anna","year":"1988"},{"key":"10.1049\/iet-cdt:20060071_r10","first-page":"866","author":"Yamauchi","year":"1999","journal-title":"Proc. IEEE Int. Conf. on Systems, Man, and Cybernatics"},{"key":"10.1049\/iet-cdt:20060071_r11","doi-asserted-by":"crossref","first-page":"2717","DOI":"10.1109\/ICSMC.2001.972977","author":"Takano","year":"2001","journal-title":"Proc. IEEE Int. Conf. on Systems, Man, and Cybernatics"},{"key":"10.1049\/iet-cdt:20060071_r12","first-page":"2871","volume":"E84-A","author":"Takano","year":"2001"},{"key":"10.1049\/iet-cdt:20060071_r13","first-page":"2436","volume":"E85-A","author":"Taoka","year":"2002"},{"first-page":"172","year":"2003","author":"Taguchi","key":"10.1049\/iet-cdt:20060071_r14"},{"key":"10.1049\/iet-cdt:20060071_r15","doi-asserted-by":"crossref","unstructured":"Martinez, J., and Silva, M.: \u2018A simple and fast algorithm to obtain all invariants of a generalised Petri Net\u2019, Girau, C., Resisig, W., \u2018Application and theory of Petri Nets, selected papers from the first and second European Workshop on application and theory of Petri nets\u2019(Springer-Verlag, Berlin 1982),52, p. 301\u2013310","DOI":"10.1007\/978-3-642-68353-4_47"},{"key":"10.1049\/iet-cdt:20060071_r16","first-page":"1031","author":"Watson","year":"1992","journal-title":"Proc. Int. Conf. on Robotics and Automation"},{"key":"10.1049\/iet-cdt:20060071_r17","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1109\/70.817669","volume":"15","author":"Park","year":"1999","ISSN":"http:\/\/id.crossref.org\/issn\/1042-296X","issn-type":"print"}],"container-title":["IET Computers & Digital Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-cdt_20060071?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T15:17:24Z","timestamp":1731424644000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-cdt%3A20060071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,4]]},"references-count":17,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,9,4]]}},"alternative-id":["10.1049\/iet-cdt:20060071"],"URL":"https:\/\/doi.org\/10.1049\/iet-cdt:20060071","relation":{},"ISSN":["1751-8601","1751-861X"],"issn-type":[{"type":"print","value":"1751-8601"},{"type":"electronic","value":"1751-861X"}],"subject":[],"published":{"date-parts":[[2007,9,4]]}}}