{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:00:11Z","timestamp":1725868811804},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319480565"},{"type":"electronic","value":"9783319480572"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-48057-2_7","type":"book-chapter","created":{"date-parts":[[2016,10,22]],"date-time":"2016-10-22T04:37:01Z","timestamp":1477111021000},"page":"105-116","source":"Crossref","is-referenced-by-count":2,"title":["Heuristic-Guided Verification for Fast Congestion Detection on Wireless Sensor Networks"],"prefix":"10.1007","author":[{"given":"Khanh","family":"Le","sequence":"first","affiliation":[]},{"given":"Toan","family":"Nguyen","sequence":"additional","affiliation":[]},{"given":"Thanh","family":"Cao","sequence":"additional","affiliation":[]},{"given":"Thang","family":"Bui","sequence":"additional","affiliation":[]},{"given":"Tho","family":"Quan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,23]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Heiner, M., Richter, R., Schwarick, M.: Snoopy: a tool to design and animate\/simulate graph-based formalisms. In: Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems and Workshops (SimuTools 2008), p. 15 (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3098"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"698","DOI":"10.1007\/978-3-642-10373-5_36","volume-title":"Formal Methods and Software Engineering","author":"J Byg","year":"2009","unstructured":"Byg, J., J\u00f8rgensen, K.Y., Srba, J.: An efficient translation of timed-arc petri nets to networks of timed automata. In: Breitman, K., Cavalcanti, A. (eds.) ICFEM 2009. LNCS, vol. 5885, pp. 698\u2013716. Springer, Heidelberg (2009)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, \u00c9., Lembachar, Y., Petrucci, L., Hulin-Hubard, F., Linard, A., Hillah, L., Kordon, F.: Cosyverif: an open source extensible verification environment. In: 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), pp. 33\u201336 (2013)","DOI":"10.1109\/ICECCS.2013.15"},{"key":"7_CR4","unstructured":"Westergaard, M., Slaats, T.: CPN tools 4: a process modeling tool combining declarative and imperative paradigms. In: 11th International Conference on Business Process Management (BPM 2013), pp. 393\u2013402 (2013)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Kozura, V.E., Nepomniaschy, V.A., Novikov, R.M.: Verification of distributed systems modelled by high-level Petri nets. In: 2002 International Conference on Parallel Computing in Electrical Engineering (PARELEC 2002), pp. 61\u201366 (2002)","DOI":"10.1109\/PCEE.2002.1115202"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-45139-0_14","volume-title":"Model Checking Software","author":"H Garavel","year":"2001","unstructured":"Garavel, H., Mateescu, R., Smarandache, I.M.: Parallel state space construction for model-checking. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, p. 217. Springer, Heidelberg (2001)"},{"issue":"12","key":"7_CR7","doi-asserted-by":"crossref","first-page":"1272","DOI":"10.1016\/j.scico.2011.03.001","volume":"77","author":"J Barnat","year":"2012","unstructured":"Barnat, J., Brim, L., Rockai, P.: On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Sci. Comput. Program. 77(12), 1272\u20131288 (2012)","journal-title":"Sci. Comput. Program."},{"issue":"1","key":"7_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.18178\/JACN.2016.4.1.200","volume":"4","author":"K Le","year":"2016","unstructured":"Le, K., Bui, T., Quan, T., Petrucci, L., Andr\u00e9, \u00c9.: Congestion verification on abstracted wireless sensor networks with wsn-pn tool. Adv. Comput. Netw. 4(1), 33\u201340 (2016)","journal-title":"Adv. Comput. Netw."},{"issue":"2","key":"7_CR9","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TETC.2014.2310457","volume":"2","author":"Y Luo","year":"2014","unstructured":"Luo, Y., Lina, P., Zuba, M., Peng, Z., Cui, J.-H.: Challenges and opportunities of underwater cognitive acoustic networks. IEEE Trans. Emerg. Top. Comput. 2(2), 198\u2013211 (2014)","journal-title":"IEEE Trans. Emerg. Top. Comput."},{"issue":"1","key":"7_CR10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11704-013-3091-5","volume":"8","author":"Y Si","year":"2014","unstructured":"Si, Y., Sun, J., Liu, Y., Dong, J.S., Pang, J., Zhang, S.J., Yang, X.: Model checking with fairness assumptions using PAT. Front. Comput. Sci. 8(1), 1\u201316 (2014)","journal-title":"Front. Comput. Sci."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Wan, C.-Y., Eisenman, S.B., Campbell, A.T.: CODA: congestion detection and avoidance in sensor networks. In: Proceedings of the 1st International Conference on Embedded Networked Sensor Systems (SenSys 2003), pp. 266\u2013279. ACM (2003)","DOI":"10.1145\/958491.958523"},{"issue":"3","key":"7_CR12","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1137\/0213029","volume":"13","author":"EW Mayr","year":"1984","unstructured":"Mayr, E.W.: An algorithm for the general petri net reachability problem. SIAM J. Comput. 13(3), 441\u2013460 (1984)","journal-title":"SIAM J. Comput."},{"key":"7_CR13","volume-title":"Petri Nets: A Tool for Design and Management of Manufacturing Systems","author":"J-M Proth","year":"1996","unstructured":"Proth, J.-M., Xie, X.: Petri Nets: A Tool for Design and Management of Manufacturing Systems. Wiley, New York (1996)"},{"issue":"3","key":"7_CR14","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/32.4651","volume":"14","author":"J Billington","year":"1988","unstructured":"Billington, J., Wheeler, G.R., Wilbur-Ham, M.C.: PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols. IEEE Trans. Softw. Eng. 14(3), 301\u2013316 (1988)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/BFb0097776","volume-title":"Application of Petri Nets to Communication Networks","author":"M Reid","year":"1999","unstructured":"Reid, M., Zuberek, W.M.: Timed Petri net models of ATM LANs. In: Billington, J., Diaz, M., Rozenberg, G. (eds.) Application of Petri Nets to Communication Networks. LNCS, vol. 1605, pp. 150\u2013175. Springer, Heidelberg (1999). doi: 10.1007\/BFb0097776"},{"issue":"3","key":"7_CR16","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/j.matcom.2003.12.004","volume":"65","author":"DA Zaitsev","year":"2004","unstructured":"Zaitsev, D.A.: Switched LAN simulation by colored Petri nets. Math. Comput. Simul. 65(3), 245\u2013249 (2004)","journal-title":"Math. Comput. Simul."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Zhang, C., Zhou, M.: A stochastic Petri net-approach to modeling, analysis of ad hoc network. In: Information Technology: Research and Education (ITRE 2003), pp. 152\u2013156. IEEE (2003)","DOI":"10.1109\/ITRE.2003.1270592"}],"container-title":["Lecture Notes in Computer Science","Future Data and Security Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-48057-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T01:51:37Z","timestamp":1498355497000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-48057-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319480565","9783319480572"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-48057-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}