{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T21:49:44Z","timestamp":1791323384135,"version":"4.3.1"},"reference-count":15,"publisher":"Oxford University Press (OUP)","issue":"6","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Logic and Computation"],"published-print":{"date-parts":[[2009,12,1]]},"DOI":"10.1093\/logcom\/exp036","type":"journal-article","created":{"date-parts":[[2009,7,8]],"date-time":"2009-07-08T02:18:09Z","timestamp":1247019489000},"page":"1509-1540","source":"Crossref","is-referenced-by-count":59,"title":["TCTL Model Checking of Time Petri Nets"],"prefix":"10.1093","volume":"19","author":[{"given":"H.","family":"Boucheneb","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Gardey","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O. H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2009,7,6]]},"reference":[{"key":"1_35236616","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1006\/inco.1993.1024","volume":"104","year":"1993","journal-title":"INFORMATION AND COMPUTATION"},{"key":"3_25827927","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","year":"1994","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"6_35236619","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1007\/s10009-005-0190-0","volume":"8","year":"2006","journal-title":"INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER"},{"key":"16_35236622","doi-asserted-by":"crossref","first-page":"435","DOI":"10.3166\/tsi.22.435-459","volume":"22","year":"2003","journal-title":"TECHNIQUE ET SCIENCE INFORMATIQUES"},{"key":"20_35236624","doi-asserted-by":"crossref","first-page":"1456","DOI":"10.1016\/j.jss.2005.12.021","volume":"79","year":"2006","journal-title":"THE JOURNAL OF SYSTEMS AND SOFTWARE"},{"key":"21_35236625","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0304-3975(94)00231-7","volume":"147","year":"1995","journal-title":"THEORETICAL COMPUTER SCIENCE"},{"key":"26_35236628","first-page":"301","volume":"6","year":"2006","journal-title":"SPECIAL ISSUE ON SPECICATION ANALYSIS AND VERICATION OF REACTIVE SYSTEMS"},{"key":"27_35236629","first-page":"974","volume":"2","year":"1992","journal-title":"IEEE INTERNATIONAL CONFERENCE ON SYSTEMS MAN AND CYBERNETICS SMC"},{"key":"30_35236631","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","year":"1997","journal-title":"INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER"},{"key":"32_35236632","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/s10626-006-8133-9","volume":"16","year":"2006","journal-title":"JOURNAL OF DISCRETE EVENTS DYNAMIC SYSTEMS THEORY AND APPLICATIONS DEDS"},{"key":"34_35236633","first-page":"11","volume":"80","year":"1997","journal-title":"ELECTRONICS AND COMMUNICATIONS IN JAPAN"},{"key":"36_36074322","first-page":"227","volume":"27","year":"1991","journal-title":"JOURNAL INFORMATION PROCESSING AND CYBERNETICSEIK"},{"key":"38_35236636","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1023\/A:1008734703554","volume":"18","year":"2001","journal-title":"FORMAL METHODS IN SYSTEM DESIGN"},{"key":"40_35236638","first-page":"297","volume":"99","year":"1998","journal-title":"IEICE Transactions on Information and Systems","ISSN":"https:\/\/id.crossref.org\/issn\/0916-8532","issn-type":"print"},{"key":"41_35236639","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/s100090050009","volume":"1","year":"1997","journal-title":"INTERNATIONAL JOURNAL OF SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/19\/6\/1509\/2819692\/exp036.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T21:11:01Z","timestamp":1550783461000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exp036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,7,6]]},"references-count":15,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2009,11,30]]},"published-print":{"date-parts":[[2009,12,1]]}},"URL":"https:\/\/doi.org\/10.1093\/logcom\/exp036","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"value":"0955-792X","type":"print"},{"value":"1465-363X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,7,6]]}}}