{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T04:26:32Z","timestamp":1775017592414,"version":"3.50.1"},"reference-count":25,"publisher":"Pleiades Publishing Ltd","issue":"4","license":[{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,7,1]],"date-time":"2020-07-01T00:00:00Z","timestamp":1593561600000},"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":["Program Comput Soft"],"published-print":{"date-parts":[[2020,7]]},"DOI":"10.1134\/s0361768820040040","type":"journal-article","created":{"date-parts":[[2020,8,8]],"date-time":"2020-08-08T06:02:49Z","timestamp":1596866569000},"page":"251-260","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Testing Equivalences of Time Petri Nets"],"prefix":"10.1134","volume":"46","author":[{"given":"E. N.","family":"Bozhenkova","sequence":"first","affiliation":[]},{"given":"I. B.","family":"Virbitskaite","sequence":"additional","affiliation":[]}],"member":"137","published-online":{"date-parts":[[2020,8,8]]},"reference":[{"key":"3518_CR1","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. and Hennessy, M., Testing equivalence for processes, Theoret. Comput. Sci., 1984, vol. 34, pp. 83\u2013133.","journal-title":"Theoret. Comput. Sci."},{"key":"3518_CR2","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/BF00264365","volume":"24","author":"R. De Nicola","year":"1987","unstructured":"De Nicola, R., Extensional equivalences for transition systems, Acta Inform., 1987, vol. 24, no. 2, pp. 211\u2013237.","journal-title":"Acta Inform."},{"key":"3518_CR3","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. and Hennessy, M., Testing equivalence as a bisimulation equivalence, Lect. Notes Comp. Sci., 1989, vol. 407, pp. 11\u201323.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR4","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/3-540-55610-9_180","volume":"609","author":"L. Pomello","year":"1992","unstructured":"Pomello, L., Rozenberg, G., and Simone, C., A survey of equivalence notions for net based systems, Lect. Notes Comp. Sci., 1992, vol. 609, pp. 410\u2013472.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR5","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., and Fantechi, A., Testing equivalences for event structures, Lect. Notes Comp. Sci., 1987, vol. 280, pp. 1\u201320.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR6","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. and Wehrheim, H., Causal testing, Lect. Notes Comp. Sci., 1996, vol. 1113, pp. 394\u2013406.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR7","first-page":"319","volume":"17","author":"L. Aceto","year":"1992","unstructured":"Aceto, L., History preserving, causal and mixed-ordering equivalence over stable event structures, Fund. Inform., 1992, vol. 17, no. 4, pp. 319\u2013331.","journal-title":"Fund. Inform."},{"key":"3518_CR8","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. and Degano, P., Refinement of actions in event structures and causal trees, Theoret. Comput. Sci., 1993, vol. 118, no. 1, pp. 21\u201348.","journal-title":"Theoret. Comput. Sci."},{"key":"3518_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01783665","volume":"4","author":"M. Nielsen","year":"1990","unstructured":"Nielsen, M., Rozenberg, G., and Thiagarajan, P.S., Behavioural notions for elementary net systems, Distrib. Comput., 1990, vol. 4, no. 1, pp. 45\u201357.","journal-title":"Distrib. Comput."},{"key":"3518_CR10","doi-asserted-by":"crossref","unstructured":"Hoogers, P.W., Kleijn, H.C.M., and Thiagarajan, P.S., An event structure semantics for general Petri nets, Theoret. Comput. Sci., 1996, vol. 153, nos 1\u20132, pp. 129\u2013170.","DOI":"10.1016\/0304-3975(95)00120-4"},{"key":"3518_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-642-23217-6_4","volume":"6901","author":"R.J. van Glabbeek","year":"2011","unstructured":"van Glabbeek, R.J., Goltz, U., and Schicke, J.-W., On causal semantics of Petri nets, Lect. Notes Comp. Sci., 2011, vol. 6901, pp. 43\u201359.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR12","unstructured":"Cleaveland, R. and Zwarico, A.E., A theory of testing for real-time, Proc. of 6th IEEE Symp. on Logic in Comput. Sci. (LICS'91), Amsterdam, The Netherlands, 1991."},{"key":"3518_CR13","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. and de Frutos, D., Denotational semantics for timed testing, Lect. Notes Comp. Sci., 1997, vol. 1233, pp.\u00a0368\u2013382.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR14","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1006\/inco.1995.1041","volume":"117","author":"M. Hennessy","year":"1995","unstructured":"Hennessy, M. and Regan, T., A process algebra for timed systems, Inform. and Comput., 1995, vol. 117, pp.\u00a0221\u2013239.","journal-title":"Inform. and Comput."},{"key":"3518_CR15","doi-asserted-by":"publisher","first-page":"735","DOI":"10.1007\/s00236-002-0094-3","volume":"38","author":"F. Corradini","year":"2002","unstructured":"Corradini, F., Vogler, W., and Jenner, L., Comparing the worst-case efficiency of asynchronous systems with PAFAS, Acta Inform., 2002, vol. 38, pp. 735\u2013792.","journal-title":"Acta Inform."},{"key":"3518_CR16","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. and Vogler, W., Timed Petri nets: Efficiency of asynchronous systems, Lect. Notes Comp. Sci., 2004, vol. 3185, pp. 25\u201358.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR17","first-page":"403","volume":"19","author":"D. Murphy","year":"1993","unstructured":"Murphy, D., Time and duration in noninterleaving concurrency, Fund. Inform., 1993, vol. 19, pp. 403\u2013416.","journal-title":"Fund. Inform."},{"key":"3518_CR18","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., and Virbitskaite, I., Analysis of timed concurrent models based on testing equivalence, Fund. Inform., 2000, vol. 43, pp. 1\u201320.","journal-title":"Fund. Inform."},{"key":"3518_CR19","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/11535294_2","volume":"3606","author":"M. Andreeva","year":"2005","unstructured":"Andreeva, M. and Virbitskaite, I., Timed equivalences for timed event structures, Lect. Notes Comp. Sci., 2005, vol. 3606, pp. 16\u201325.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR20","first-page":"1","volume":"72","author":"M. Andreeva","year":"2006","unstructured":"Andreeva, M. and Virbitskaite, I., Observational equivalences for timed stable event structures, Fund. Inform., 2006, vol. 72, pp. 1\u201319.","journal-title":"Fund. Inform."},{"key":"3518_CR21","doi-asserted-by":"publisher","first-page":"490","DOI":"10.1007\/3-540-60029-9_56","volume":"935","author":"V. Valero","year":"1995","unstructured":"Valero, V., de Frutos, D., and Cuartero, F., Timed processes of timed Petri nets, Lect. Notes Comp. Sci., 1995, vol. 935, pp. 490\u2013509.","journal-title":"Lect. Notes Comp. Sci."},{"key":"3518_CR22","doi-asserted-by":"crossref","unstructured":"Virbitskaite, I.B., Borovlev, V.A., and Popova-Zeugmann, L., \u201cTruly concurrent\u201d and nondeterministic semantics of discrete-time Petri nets, Program. Comput. Software, 2016, no. 4, pp. 187\u2013197.","DOI":"10.1134\/S0361768816040071"},{"key":"3518_CR23","doi-asserted-by":"crossref","unstructured":"Aura, T. and Lilius, J., A causal semantics for time petri nets, Theoret. Comput. Sci., 2000, vol. 243, nos 1\u20132, pp.\u00a0409\u2013447.","DOI":"10.1016\/S0304-3975(99)00114-0"},{"key":"3518_CR24","doi-asserted-by":"crossref","unstructured":"Bushin, D.I. and Virbitskaite, I.B., Comparative trace semantics of time Petri nets, Program. Comput. Software, 2015, no. 3, pp. 131\u2013139.","DOI":"10.1134\/S0361768815030020"},{"key":"3518_CR25","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., and Best, E., True concurrent equivalences in time Petri nets, Fund. Inform., 2016, vol. 149, no. 4, pp. 401\u2013418.","journal-title":"Fund. Inform."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768820040040.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768820040040","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768820040040.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:46:39Z","timestamp":1775011599000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768820040040"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":25,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2020,7]]}},"alternative-id":["3518"],"URL":"https:\/\/doi.org\/10.1134\/s0361768820040040","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,7]]},"assertion":[{"value":"10 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 February 2020","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 March 2020","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 August 2020","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}