{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,10]],"date-time":"2026-03-10T01:19:27Z","timestamp":1773105567614,"version":"3.50.1"},"reference-count":24,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern."],"published-print":{"date-parts":[[1987]]},"DOI":"10.1109\/tsmc.1987.4309041","type":"journal-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T11:20:05Z","timestamp":1216725605000},"page":"297-303","source":"Crossref","is-referenced-by-count":80,"title":["Generalized Petri Net Reduction Method"],"prefix":"10.1109","volume":"17","author":[{"given":"Hyung","family":"Lee-Kwang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joel","family":"Favrel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Baptiste","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","author":"lee-kwang","year":"1985","journal-title":"Analyse et modelisation des systeme production par les reseaux de Petri"},{"key":"ref11","first-page":"363","author":"lee-kwang","year":"1982","journal-title":"IASTED Modelling and Simulation"},{"key":"ref12","first-page":"94","article-title":"Hierarchical reduction and decomposition of graphs for system analysis","author":"lee-kwang","year":"1984","journal-title":"Proc IEEE"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1987.6499297"},{"key":"ref14","first-page":"67","article-title":"Synthese et realisation des systemes logiques a evolution simultanees","volume":"10","author":"andre","year":"1976","journal-title":"RAIRO"},{"key":"ref15","first-page":"335","article-title":"Sur le concept de macro place et son utilisation pour l'analyse des reseaux de Petri","volume":"15","author":"silva","year":"1981","journal-title":"RAIRO Automatique"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90041-X"},{"key":"ref1a","author":"petri","year":"1964","journal-title":"Communication with automata"},{"key":"ref17","first-page":"33","article-title":"Une methode de verification de reseaux de Petri","author":"berthelot","year":"1977","journal-title":"Proc Afcet Conf Reseaux de Petri"},{"key":"ref18","first-page":"251","article-title":"Preuve de non blocage de programmes paralleles par reduction de reseaux de Petri","year":"1979","journal-title":"Proc First Conf Parallel and Distributed Processing"},{"key":"ref19","year":"1983","journal-title":"Transformation et Analyse de R\ufffdseaux de Petri - Application aux Protocoles"},{"key":"ref1b","year":"1966"},{"key":"ref4","author":"peterson","year":"1981","journal-title":"Petri Net Theory and the Modeling of Systems"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"ref6","volume":"84","year":"1980","journal-title":"Net Theory and Applications"},{"key":"ref5","author":"brams","year":"1983","journal-title":"Reseaux de Petri Theorie et Pratique"},{"key":"ref8","volume":"188","year":"1985","journal-title":"Advances in Petri Nets 1984"},{"key":"ref7","author":"hack","year":"1972","journal-title":"Analysis of production schemata by Petri nets"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(71)80013-2"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1109\/TSMC.1985.6313357","article-title":"Hierarchical reduction method for analysis and decomposition of Petri nets","volume":"smc 15","author":"lee-kwang","year":"1985","journal-title":"IEEE Trans Syst Man Cybern"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1980.1084711"},{"key":"ref22","author":"dong","year":"1983","journal-title":"The modeling analysis and synthesis of communications protocols"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCS.1981.1084918"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/322261.322271"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/21\/4309021\/04309041.pdf?arnumber=4309041","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,11,14]],"date-time":"2017-11-14T06:12:59Z","timestamp":1510639979000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4309041\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"references-count":24,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.1987.4309041","relation":{},"ISSN":["0018-9472"],"issn-type":[{"value":"0018-9472","type":"print"}],"subject":[],"published":{"date-parts":[[1987]]}}}