{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:59Z","timestamp":1750306499018,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,12,3]],"date-time":"2015-12-03T00:00:00Z","timestamp":1449100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12,3]]},"DOI":"10.1145\/2833258.2833298","type":"proceedings-article","created":{"date-parts":[[2015,11,18]],"date-time":"2015-11-18T13:42:32Z","timestamp":1447854152000},"page":"342-349","source":"Crossref","is-referenced-by-count":2,"title":["Component-Based Abstraction of Petri Net Models"],"prefix":"10.1145","author":[{"given":"Khanh","family":"Le","sequence":"first","affiliation":[{"name":"Ho Chi Minh City University of Technology, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thang","family":"Bui","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tho","family":"Quan","sequence":"additional","affiliation":[{"name":"Ho Chi Minh City University of Technology, Vietnam"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[{"name":"LIPN, CNRS UMR, 7030 Universit\u00e9 Paris 13, Sorbonne Paris Cit\u00e9 Villetaneuse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9tienne","family":"Andr\u00e9","sequence":"additional","affiliation":[{"name":"LIPN, CNRS UMR, 7030 IRCCyN, CNRS UMR 6597, Villetaneuse \/ Nantes France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,12,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"V. E. Kozura V. A. Nepomniaschy and R. M. Novikov \"Verification of distributed systems modelled by high-level Petri nets \" in 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002) 2002 pp. 61--66. V. E. Kozura V. A. Nepomniaschy and R. M. Novikov \"Verification of distributed systems modelled by high-level Petri nets \" in 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002) 2002 pp. 61--66.","DOI":"10.1109\/PCEE.2002.1115202"},{"key":"e_1_3_2_1_2_1","first-page":"15","volume-title":"Networks and Systems & Workshops (SimuTools 2008)","author":"Heiner M.","year":"2008"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_36"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"\u00c9. Andr\u00e9 Y. Lembachar L. Petrucci F. Hulin-Hubard A. Linard L. Hillah and F. Kordon \"CosyVerif : An open source extensible verification environment \" in 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013) 2013 pp. 33--36. 10.1109\/ICECCS.2013.15 \u00c9. Andr\u00e9 Y. Lembachar L. Petrucci F. Hulin-Hubard A. Linard L. Hillah and F. Kordon \"CosyVerif : An open source extensible verification environment \" in 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013) 2013 pp. 33--36. 10.1109\/ICECCS.2013.15","DOI":"10.1109\/ICECCS.2013.15"},{"key":"e_1_3_2_1_5_1","unstructured":"M. Westergaard and T. Slaats \"CPN tools 4: A process modeling tool combining declarative and imperative paradigms \" in Business Process Management: 11th International Conference (BPM 2013) 2013. M. Westergaard and T. Slaats \"CPN tools 4: A process modeling tool combining declarative and imperative paradigms \" in Business Process Management: 11th International Conference (BPM 2013) 2013."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"D. Chiarugi P. Degano and R. Marangoni \"A computational approach to the functional screening of genomes \" PLoS Computational Biology vol. 3 no. 9 2007. D. Chiarugi P. Degano and R. Marangoni \"A computational approach to the functional screening of genomes \" PLoS Computational Biology vol. 3 no. 9 2007.","DOI":"10.1371\/journal.pcbi.0030174"},{"key":"e_1_3_2_1_7_1","first-page":"185","volume-title":"4th Int. Conf. on Application of Concurrency to System Design (ACSD'04)","author":"Lakos C.","year":"2004"},{"key":"e_1_3_2_1_8_1","unstructured":"\u00c9. Andr\u00e9 H. Ochi K. Klai and L. Petrucci \"A counterexample-based incremental and modular verification approach \" in 17th Monterey Workshop on Development Operation and Management of Large-Scale Complex IT Systems ser. Lecture Notes in Computer Science R. Calinescu and D. Garlan Eds. vol. 7539. Oxford England: Springer Aug. 2012 pp. 283--302. 10.1007\/978-3-642-34059-8_15 \u00c9. Andr\u00e9 H. Ochi K. Klai and L. Petrucci \"A counterexample-based incremental and modular verification approach \" in 17th Monterey Workshop on Development Operation and Management of Large-Scale Complex IT Systems ser. Lecture Notes in Computer Science R. Calinescu and D. Garlan Eds. vol. 7539. Oxford England: Springer Aug. 2012 pp. 283--302. 10.1007\/978-3-642-34059-8_15"},{"key":"e_1_3_2_1_9_1","first-page":"98","volume-title":"7th International Conference, (TACAS 2001)","author":"Lakhnech Y.","year":"2001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"P. Ballarini H. Djafri M. Duflot S. Haddad and N. Pekergin \"Petri nets compositional modeling and verification of flexible manufacturing systems \" in IEEE Conference on Automation Science and Engineering (CASE 2011) 2011 pp. 588--593. P. Ballarini H. Djafri M. Duflot S. Haddad and N. Pekergin \"Petri nets compositional modeling and verification of flexible manufacturing systems \" in IEEE Conference on Automation Science and Engineering (CASE 2011) 2011 pp. 588--593.","DOI":"10.1109\/CASE.2011.6042488"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.4651"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/647751.734403"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2003.12.004"},{"key":"e_1_3_2_1_14_1","first-page":"152","article-title":"A stochastic Petri net-approach to modeling and analysis of ad hoc network,\" in Information Technology: Research and Education (ITRE 2003)","author":"Zhang C.","year":"2003","journal-title":"IEEE"},{"volume-title":"MIT Press","year":"2008","author":"Baier C.","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_32"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"E. M. Clarke D. E. Long and K. L. McMillan \"Compositional model checking \" in Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89) 1989 pp. 353--362. E. M. Clarke D. E. Long and K. L. McMillan \"Compositional model checking \" in Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89) 1989 pp. 353--362.","DOI":"10.1109\/LICS.1989.39190"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"A. Valmari \"Compositionality in state space verification methods \" in Application and Theory of Petri Nets (APN 1996) 1996 pp. 29--56. A. Valmari \"Compositionality in state space verification methods \" in Application and Theory of Petri Nets (APN 1996) 1996 pp. 29--56.","DOI":"10.1007\/3-540-61363-3_3"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"S. Haddad J. Ili\u00e9 and K. Klai \"Design and evaluation of a symbolic and abstraction-based model checker \" in Automated Technology for Verification and Analysis: Second International Conference (ATVA 2004) 2004 pp. 196--210. S. Haddad J. Ili\u00e9 and K. Klai \"Design and evaluation of a symbolic and abstraction-based model checker \" in Automated Technology for Verification and Analysis: Second International Conference (ATVA 2004) 2004 pp. 196--210.","DOI":"10.1007\/978-3-540-30476-0_19"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68746-7_20"},{"key":"e_1_3_2_1_21_1","first-page":"336","volume-title":"9th International Symposium (ATVA 2011)","author":"Duret-Lutz A.","year":"2011"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"K. Klai S. Haddad and J. Ili\u00e9 \"Modular verification of Petri nets properties: A structure-based approach \" in Formal Techniques for Networked and Distributed Systems (FORTE 2005) 2005 pp. 189--203. 10.1007\/11562436_15 K. Klai S. Haddad and J. Ili\u00e9 \"Modular verification of Petri nets properties: A structure-based approach \" in Formal Techniques for Networked and Distributed Systems (FORTE 2005) 2005 pp. 189--203. 10.1007\/11562436_15","DOI":"10.1007\/11562436_15"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(01)00302-4"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"S. Moon S. Lee and H. Cha \" A congestion control technique for the near-sink nodes in wireless sensor networks \" in Third International Conference on Ubiquitous Intelligence and Computing (UIC 2006 ) ser. Lecture Notes in Computer Science vol. 4159 . Springer 2006 pp. 488 -- 497 . 10.1007\/11833529_50 S. Moon S. Lee and H. Cha \"A congestion control technique for the near-sink nodes in wireless sensor networks \" in Third International Conference on Ubiquitous Intelligence and Computing (UIC 2006) ser. Lecture Notes in Computer Science vol. 4159. Springer 2006 pp. 488--497. 10.1007\/11833529_50","DOI":"10.1007\/11833529_50"},{"issue":"2","key":"e_1_3_2_1_26_1","first-page":"3","article-title":"Data MULEs: modeling and analysis of a three-tier architecture for sparse sensor networks","volume":"1","author":"Shah R. C.","year":"2003","journal-title":"Ad Hoc Networks"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/958491.958523"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1098918.1098931"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1031495.1031512"},{"key":"e_1_3_2_1_31_1","unstructured":"\"The Network Simulator NS-2 \" http:\/\/www.isi.edu\/nsnam\/ns\/. \"The Network Simulator NS-2 \" http:\/\/www.isi.edu\/nsnam\/ns\/."},{"key":"e_1_3_2_1_32_1","first-page":"60","volume-title":"Networks and Systems & Workshops (SimuTools 2008)","author":"Varga A.","year":"2008"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-013-3091-5"}],"event":{"name":"SoICT 2015: The Sixth International Symposium on Information and Communication Technology","sponsor":["SOICT School of Information and Communication Technology - HUST","NAFOSTED The National Foundation for Science and Technology Development"],"location":"Hue City Viet Nam","acronym":"SoICT 2015"},"container-title":["Proceedings of the Sixth International Symposium on Information and Communication Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2833258.2833298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2833258.2833298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:48Z","timestamp":1750225728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2833258.2833298"}},"subtitle":["An Application for Congestion Verification of Wireless Sensor Networks"],"short-title":[],"issued":{"date-parts":[[2015,12,3]]},"references-count":32,"alternative-id":["10.1145\/2833258.2833298","10.1145\/2833258"],"URL":"https:\/\/doi.org\/10.1145\/2833258.2833298","relation":{},"subject":[],"published":{"date-parts":[[2015,12,3]]}}}