{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:44:26Z","timestamp":1743144266701,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031266508"},{"type":"electronic","value":"9783031266515"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-26651-5_4","type":"book-chapter","created":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T17:02:09Z","timestamp":1683219729000},"page":"65-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Extended Future in Testing Semantics for Time Petri Nets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9291-7451","authenticated-orcid":false,"given":"Elena","family":"Bozhenkova","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4475-3480","authenticated-orcid":false,"given":"Irina","family":"Virbitskaite","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,5,5]]},"reference":[{"issue":"1\u20133","key":"4_CR1","first-page":"1","volume":"72","author":"M Andreeva","year":"2006","unstructured":"Andreeva, M., Virbitskaite, I.: Observational equivalences for timed stable event structures. Fundam. Inf. 72(1\u20133), 1\u201319 (2006)","journal-title":"Fundam. Inf."},{"issue":"1\u20132","key":"4_CR2","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(1\u20132), 409\u2013447 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR3","doi-asserted-by":"publisher","unstructured":"B\u00e9rard, B., Cassez, F., Haddad, S., Lime, D., Roux,\u00a0O.H.: Comparison of the expressiveness of timed automata and time Petri nets. In: Pettersson,\u00a0P., Yi,\u00a0W. (eds.) Formal Modeling and Analysis of Timed Systems. FORMATS 2005. Lecture Notes in Computer Science, vol. 3829, pp.\u00a0211\u2013225. Springer, Berlin (2005). https:\/\/doi.org\/10.1007\/11603009_17","DOI":"10.1007\/11603009_17"},{"issue":"3","key":"4_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/BF01178506","volume":"28","author":"E Best","year":"1991","unstructured":"Best, E., Devillers, R., Kiehn, A., Pomello, L.: Concurrent bisimulations in Petri Nets. Acta Inf. 28(3), 231\u2013264 (1991)","journal-title":"Acta Inf."},{"key":"4_CR5","doi-asserted-by":"publisher","unstructured":"Bihler, E., Vogler, W.: Timed Petri nets: efficiency of asynchronous systems. In: Bernardo,\u00a0M., Corradini,\u00a0F. (eds.) Formal Methods for the Design of Real-Time Systems. SFM-RT 2004. Lecture Notes in Computer Science, vol. 3185, pp.\u00a025\u201358. Springer, Berlin (2004). https:\/\/doi.org\/10.1007\/978-3-540-30080-9_2","DOI":"10.1007\/978-3-540-30080-9_2"},{"issue":"3","key":"4_CR6","first-page":"225","volume":"88","author":"M Boyer","year":"2008","unstructured":"Boyer, M., Roux, O.H.: On the compared expressiveness of arc, place and transition time Petri nets. Fundam. Inf. 88(3), 225\u2013249 (2008)","journal-title":"Fundam. Inf."},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1134\/S0361768820040040","volume":"46","author":"E Bozhenkova","year":"2020","unstructured":"Bozhenkova, E., Virbitskaite, I.: Testing equivalences of time Petri nets. Program Comput. Softw. 46(4), 251\u2013260 (2020)","journal-title":"Program Comput. Softw."},{"issue":"3","key":"4_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1134\/S0361768815030020","volume":"41","author":"D Bushin","year":"2015","unstructured":"Bushin, D., Virbitskaite, I.: Comparative trace semantics of time Petri nets. Program Comput. Softw. 41(3), 131\u2013139 (2015)","journal-title":"Program Comput. Softw."},{"issue":"1","key":"4_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0304-3975(93)90361-V","volume":"118","author":"Ph Darondeau","year":"1993","unstructured":"Darondeau, Ph., Degano, P.: Refinement of actions in event structures and causal trees. Theor. Comput. Sci. 118(1), 21\u201348 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR10","unstructured":"van Glabbeek, R.J.: The linear time\u2014branching time spectrum I: the semantics of concrete, sequential processes. In: Bergstra,\u00a0J.A., Ponse,\u00a0A., Smolka,\u00a0S.A. (eds.) Handbook of Process Algebra, pp.\u00a03\u201399. Elsevier (2001)"},{"key":"4_CR11","doi-asserted-by":"publisher","unstructured":"van Glabbeek, R.J., Goltz, U., Schicke,\u00a0J.-W.: On causal semantics of Petri nets. In: Katoen,\u00a0JP., K\u00f6nig,\u00a0B. (eds.) CONCUR 2011\u2014Concurrency Theory. CONCUR 2011. Lecture Notes in Computer Science, vol. 6901, pp.\u00a043\u201359. Springer, Berlin (2011). https:\/\/doi.org\/10.1007\/978-3-642-23217-6_4","DOI":"10.1007\/978-3-642-23217-6_4"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Goltz, U., Wehrheim, H.: Causal testing. In: Penczek,\u00a0W., Szalas,\u00a0A. (eds.) Mathematical Foundations of Computer Science. MFCS 1996. Lecture Notes in Computer Science, vol. 1113, pp.\u00a0394\u2013406. Springer, Berlin (1996). https:\/\/doi.org\/10.1007\/3-540-61550-4_165","DOI":"10.1007\/3-540-61550-4_165"},{"issue":"9","key":"4_CR13","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P Merlin","year":"1976","unstructured":"Merlin, P., Faber, D.J.: Recoverability of communication protocols-implications of a theoretical study. IEEE Trans. Commun. 24(9), 1036\u20131043 (1976)","journal-title":"IEEE Trans. Commun."},{"key":"4_CR14","first-page":"120","volume-title":"Encyclopedia of Parallel Computing","author":"R De Nicola","year":"2011","unstructured":"De Nicola, R.: Behavioral equivalences. In: Padua, D. (ed.) Encyclopedia of Parallel Computing, pp. 120\u2013127. Springer, Boston, MA (2011)"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/0304-3975(84)90113-0","volume":"34","author":"R De Nicola","year":"1984","unstructured":"De Nicola, R., Hennessy, M.: Testing equivalence for processes. Theor. Comput. Sci. 34, 83\u2013133 (1984)","journal-title":"Theor. Comput. Sci."},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01783665","volume":"4","author":"M Nielsen","year":"1990","unstructured":"Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Behavioural notions for elementary net systems. Distrib. Comput. 4(1), 45\u201357 (1990)","journal-title":"Distrib. Comput."},{"key":"4_CR17","doi-asserted-by":"publisher","unstructured":"Pomello, L., Rozenberg, G., Simone,\u00a0C.: A Survey of equivalence notions for net based systems. In: Rozenberg,\u00a0G. (ed.) Advances in Petri Nets. Lecture Notes in Computer Science, vol. 609, pp.\u00a0410\u2013472. Springer, Berlin (1992). https:\/\/doi.org\/10.1007\/3-540-55610-9_180","DOI":"10.1007\/3-540-55610-9_180"},{"key":"4_CR18","first-page":"357","volume":"11","author":"A Rabinovich","year":"1988","unstructured":"Rabinovich, A., Trakhtenbrot, B.A.: Behavior structures and nets. Fundam. Inf. 11, 357\u2013404 (1988)","journal-title":"Behavior structures and nets. Fundam. Inf."},{"key":"4_CR19","unstructured":"Tarasyuk, I.V.: Equivalences for behavioural analysis of concurrent and distributed computing systems. \u201cGeo\u201d Publisher, Novosibirsk (2007) (in Russian)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Vogler, W.: Modular construction and partial order semantics of Petri nets. Lecture Notes in Computer Science, vol. 625. Springer, Berlin (1992)","DOI":"10.1007\/3-540-55767-9"},{"issue":"4","key":"4_CR21","first-page":"401","volume":"149","author":"I Virbitskaite","year":"2016","unstructured":"Virbitskaite, I., Bushin, D., Best, E.: True concurrent equivalences in time Petri net. Fundam. Inf. 149(4), 401\u2013418 (2016)","journal-title":"Fundam. Inf."}],"container-title":["Studies in Computational Intelligence","Concurrency, Specification and Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-26651-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,4]],"date-time":"2023-05-04T17:02:36Z","timestamp":1683219756000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-26651-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031266508","9783031266515"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-26651-5_4","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"5 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}