{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:38:12Z","timestamp":1743133092771,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030374860"},{"type":"electronic","value":"9783030374877"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-37487-7_22","type":"book-chapter","created":{"date-parts":[[2019,12,13]],"date-time":"2019-12-13T09:22:10Z","timestamp":1576228930000},"page":"252-261","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Causality-Based Testing in Time Petri Nets"],"prefix":"10.1007","author":[{"given":"Elena","family":"Bozhenkova","sequence":"first","affiliation":[]},{"given":"Irina","family":"Virbitskaite","sequence":"additional","affiliation":[]},{"given":"Louchka","family":"Popova-Zeugmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,12,16]]},"reference":[{"issue":"4","key":"22_CR1","doi-asserted-by":"crossref","first-page":"319","DOI":"10.3233\/FI-1992-17403","volume":"17","author":"L Aceto","year":"1992","unstructured":"Aceto, L.: History preserving, causal and mixed-ordering equivalence over stable event structures. Fundamenta Informaticae 17(4), 319\u2013331 (1992)","journal-title":"Fundamenta Informaticae"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-18419-8_9","volume":"280","author":"L Aceto","year":"1987","unstructured":"Aceto, L., De Nicola, R., Fantechi, A.: Testing equivalences for event structures. Lect. Notes Comput. Sci. 280, 1\u201320 (1987)","journal-title":"Lect. Notes Comput. Sci."},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1016\/S0304-3975(99)00114-0","volume":"243","author":"T Aura","year":"2000","unstructured":"Aura, T., Lilius, J.: A causal semantics for time Petri nets. Theor. Comput. Sci. 243, 409\u2013447 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2000-43123401","volume":"43","author":"M Andreeva","year":"2000","unstructured":"Andreeva, M., Bozhenkova, E., Virbitskaite, I.: Analysis of timed concurrent models based on testing equivalenc. Fundamenta Informaticae 43, 1\u201320 (2000)","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20133","key":"22_CR5","first-page":"1","volume":"72","author":"M Andreeva","year":"2006","unstructured":"Andreeva, M., Virbitskaite, I.: Observational equivalences for timed stable event structures. Fundamenta Informaticae 72(1\u20133), 1\u201319 (2006)","journal-title":"Fundamenta Informaticae"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/978-3-540-30080-9_2","volume":"3185","author":"E Bihler","year":"2004","unstructured":"Bihler, E., Vogler, W.: Timed Petri nets: efficiency of asynchronous systems. Lect. Notes Comput. Sci. 3185, 25\u201358 (2004)","journal-title":"Lect. Notes Comput. Sci."},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-52148-8_2","volume":"407","author":"R Cleaveland","year":"1989","unstructured":"Cleaveland, R., Hennessy, M.: Testing equivalence as a bisimulation equivalence. Lect. Notes Comput. Sci. 407, 11\u201323 (1989)","journal-title":"Lect. Notes Comput. Sci."},{"key":"22_CR8","unstructured":"Cleaveland, R., Zwarico, A.E.: A theory of testing for real-time. In: Proceedings of 6th IEEE Symposium on Logic in Computer Science ( LICS 1991), Amsterdam, The Netherlands, pp. 110\u2013119 (1991)"},{"key":"22_CR9","unstructured":"Corradini, F., Vogler, W., Jenner, L.: Comparing the worst-case efficiency of asynchronous systems with PAFAS. Technical report, N 2000\u20136, Inst. fur Informatik of Univ. of Augsburg (2000)"},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0304-3975(93)90361-V","volume":"118","author":"P Darondeau","year":"1993","unstructured":"Darondeau, P., Degano, P.: Refinement of actions in event structures and causal trees. Theor. Comput. Sci. 118, 21\u201348 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R Nicola De","year":"1987","unstructured":"De Nicola, R.: Extensional equivalences for transition systems. Acta Informatica 24, 211\u2013237 (1987)","journal-title":"Acta Informatica"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R Nicola De","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theor. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/3-540-65306-6_14","volume":"1491","author":"G Rozenberg","year":"1998","unstructured":"Rozenberg, G., Engelfriet, J.: Elementary net systems. Lect. Notes Comput. Sci. 1491, 12\u2013121 (1998)","journal-title":"Lect. Notes Comput. Sci."},{"key":"22_CR14","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/3-540-61550-4_165","volume":"1113","author":"U Goltz","year":"1996","unstructured":"Goltz, U., Wehrheim, H.: Causal testing. Lect. Notes Comput. Sci. 1113, 394\u2013406 (1996)","journal-title":"Lect. Notes Comput. Sci."},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M Hennessy","year":"1995","unstructured":"Hennessy, M., Regan, T.: A process algebra for timed systems. Inf. Comput. 117, 221\u2013239 (1995)","journal-title":"Inf. Comput."},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1007\/3-540-63010-4_25","volume":"1233","author":"L Llana","year":"1997","unstructured":"Llana, L., de Frutos, D.: Denotational semantics for timed testing. Lect. Notes Comput. Sci. 1233, 368\u2013382 (1997)","journal-title":"Lect. Notes Comput. Sci."},{"key":"22_CR17","doi-asserted-by":"crossref","first-page":"403","DOI":"10.3233\/FI-1993-193-410","volume":"19","author":"D Murphy","year":"1993","unstructured":"Murphy, D.: Time and duration in noninterleaving concurrency. Fundamenta Informaticae 19, 403\u2013416 (1993)","journal-title":"Fundamenta Informaticae"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1007\/3-540-57182-5_61","volume":"711","author":"B Steffen","year":"1993","unstructured":"Steffen, B., Weise, C.: Deciding testing equivalence for real-time processes with dense time. Lect. Notes Comput. Sci. 711, 703\u2013713 (1993)","journal-title":"Lect. Notes Comput. Sci."},{"issue":"4","key":"22_CR19","doi-asserted-by":"publisher","first-page":"401","DOI":"10.3233\/FI-2016-1454","volume":"149","author":"I Virbitskaite","year":"2016","unstructured":"Virbitskaite, I., Bushin, D., Best, E.: True concurrent equivalences in time Petri nets. Fundamenta Informaticae 149(4), 401\u2013418 (2016)","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-37487-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T11:20:25Z","timestamp":1665228025000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-37487-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030374860","9783030374877"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-37487-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"16 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PSI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Andrei Ershov Memorial Conference on Perspectives of System Informatics","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Novosibirsk","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 July 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ershov2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/psi.nsc.ru\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}