{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T03:40:02Z","timestamp":1748403602479,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192154"},{"type":"electronic","value":"9783319192161"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19216-1_32","type":"book-chapter","created":{"date-parts":[[2015,5,26]],"date-time":"2015-05-26T04:55:51Z","timestamp":1432616151000},"page":"341-350","source":"Crossref","is-referenced-by-count":0,"title":["The Modeling Algorithm of Communication Run Operations in a Network"],"prefix":"10.1007","author":[{"given":"Henryk","family":"Piech","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grzegorz","family":"Grodzki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aleksandra","family":"Ptak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"32_CR1","unstructured":"Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. In: Harper, R. (ed.) Logics and Languages for Security, pp. 15\u2013819 (2007)"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Zhang, F., Bu, L., Wang, L., Zhao, J., Li, X.: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. In: 2012 IEEE\/ACM Third International Conference on Cyber-Physical Systems (ICCPS), p. 237 (2012)","DOI":"10.1109\/ICCPS.2012.57"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Lynch, N.: Timed and Probabilistic I\/O Automata. In: 28th Annual IEEE\/ACM Symposium on Logic in Computer Science (LICS), p. 12 (2013)","DOI":"10.1109\/LICS.2013.67"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Chen, T., Han, T., Katoen, J.: Time-Abstracting Bisimulation for Probabilistic Timed Automata. In: 2nd IFIP\/IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2008, pp. 177\u2013184 (2008)","DOI":"10.1109\/TASE.2008.29"},{"key":"32_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0304-3975(01)00046-9","volume":"282","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Segala, R., Sproston, J.: Automatic Verification of Real-time Systems with Discrete Probability Distribution. Theoretical Computer Science\u00a0282, 101\u2013150 (2002)","journal-title":"Theoretical Computer Science"},{"key":"32_CR6","unstructured":"Kwiatkowska, M., Norman, R., Sproston, J.: Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability. Tech. rep. CSR-03-10, University of Birmingham (2003)"},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Huang, Y.-S., Chiang, H.-S., Jeng, M.D.: Fault measure of discrete event systems using probabilistic timed automata. In: 2011 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 1218\u20131223 (2011)","DOI":"10.1109\/ICSMC.2011.6083864"},{"key":"32_CR8","doi-asserted-by":"crossref","unstructured":"Wu, J., Wang, J., Rong, M., Zhang, G., Zhu, J.: Counterexample generation and representation in model checking for probabilistic timed automata. In: 2011 6th International Conference on Computer Science & Education (ICCSE), pp. 1136\u20131141 (2011)","DOI":"10.1109\/ICCSE.2011.6028834"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Thorat, S.S., Markande, S.D.: Reinvented Fuzzy logic Secure Media Access Control Protocol (FSMAC) to improve lifespan of Wireless Sensor Networks. In: 2014 International Conference on Issues and Challenges in Intelligent Computing Techniques (ICICT), pp. 344\u2013349 (2014)","DOI":"10.1109\/ICICICT.2014.6781305"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Liu, K., Ye, J.Y., Wang, Y.: The Security Analysis on Otway-Rees Protocol Based on BAN Logic. In: 2012 Fourth International Conference on Computational and Information Sciences (ICCIS), pp. 341\u2013344 (2012)","DOI":"10.1109\/ICCIS.2012.349"},{"key":"32_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, H., Liu, F., Yang, M., Li, W.: Simulation of colored time Petri nets. In: 2013 IEEE International Conference on Information and Automation (ICIA), pp. 637\u2013642 (2013)","DOI":"10.1109\/ICInfA.2013.6720374"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Li-Li, W., Xiao-jing, M., Yang, N.: Modeling and verification of Colored Petri Net in stop and wait protocol. In: 2010 International Conference on Computer Design and Applications (ICCDA), vol.\u00a05, pp. V5-24\u2013V5-28 (2010)","DOI":"10.1109\/ICCDA.2010.5540838"}],"container-title":["Advances in Intelligent Systems and Computing","Theory and Engineering of Complex Systems and Dependability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19216-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,28]],"date-time":"2025-05-28T03:01:05Z","timestamp":1748401265000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19216-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192154","9783319192161"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19216-1_32","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}