{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T20:01:36Z","timestamp":1769976096316,"version":"3.49.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1991,3,1]],"date-time":"1991-03-01T00:00:00Z","timestamp":667785600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1991,3]]},"DOI":"10.1007\/bf01178506","type":"journal-article","created":{"date-parts":[[2005,2,17]],"date-time":"2005-02-17T16:51:27Z","timestamp":1108659087000},"page":"231-264","source":"Crossref","is-referenced-by-count":87,"title":["Concurrent bisimulations in Petri nets"],"prefix":"10.1007","volume":"28","author":[{"given":"Eike","family":"Best","sequence":"first","affiliation":[]},{"given":"Raymond","family":"Devillers","sequence":"additional","affiliation":[]},{"given":"Astrid","family":"Kiehn","sequence":"additional","affiliation":[]},{"given":"Lucia","family":"Pomello","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Aceto, L., Hennessy, M.: Towards action-refinement in process algebras. Report 3\/88, Computer Science Department, University of Sussex (1988). Also in Proc. LICS 89 (Asilomar, California), IEEE Computer Society Press, pp. 138?145 (1989)","DOI":"10.1109\/LICS.1989.39168"},{"key":"CR2","series-title":"Lect. Notes Comput. Sci.","first-page":"216","volume-title":"Advances in Petri Nets 1986. Proc. of Advanced Course on Petri Nets, Bad Honnef (1986)","author":"E. Best","year":"1987","unstructured":"Best, E.: COSY: Its relation to nets and to CSP. In: Brauer, W., et al. (eds.) Advances in Petri Nets 1986. Proc. of Advanced Course on Petri Nets, Bad Honnef (1986) (Lect. Notes Comput. Sci., vol. 255, pp. 216?220) Berlin Heidelberg New York: Springer 1987"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Best, E., Devillers, R.: Sequential and concurrent behaviour in Petri net theory. TCS55, No. 1 (1988)","DOI":"10.1016\/0304-3975(87)90090-9"},{"key":"CR4","unstructured":"Best, E., Fern\u00e1ndez, C.: Notation and terminology on Petri net theory. Arbeitspapiere der GMD Nr. 195 (1987)"},{"key":"CR5","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1007\/3-540-17660-8_52","volume-title":"Proceedings TAPSOFT 87","author":"G. Boudol","year":"1987","unstructured":"Boudol, G., Castellani, I.: On the semantics of concurrency: Partial orders and transition systems. In: Ehrig, H. (ed.) Proceedings TAPSOFT 87, Vol. 1 (Lect. Notes Comput. Sci., vol. 249, pp. 123?137. Berlin Heidelberg New York: Springer 1987"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Brauer, W., Gold, R., Vogler, W.: Behaviour and equivalence preserving refinements of Petri Nets. Draft paper, Techn. Univ. M\u00fcnchen, submitted to Advances in Petri Nets 1990 (Lect. Notes Comput. Sci.). Berlin Heidelberg New York: Springer (accepted for publication)","DOI":"10.1007\/3-540-53863-1_19"},{"key":"CR7","first-page":"12","volume":"31","author":"L. Castellano","year":"1987","unstructured":"Castellano, L., de Michelis, G., Pomello, L.: Concurrency vs. interleaving: an instructive example. Bull. EATCS31, 12?15 (1987)","journal-title":"Bull. EATCS"},{"key":"CR8","series-title":"Lect. Notes Comput. Sci.","first-page":"237","volume-title":"Proc. of Mathematical Foundations of Computer Science 90","author":"Ph. Darondeau","year":"1990","unstructured":"Darondeau, Ph., Degano, P.: Event structures, causal trees and refinements. In: Rovan, B. (ed.) Proc. of Mathematical Foundations of Computer Science 90. (Lect. Notes Comput. Sci., vol. 452, pp. 237?245). Berlin Heidelberg New York: Springer 1990"},{"key":"CR9","unstructured":"de Cindio, F., de Michelis, G., Pomello, L., Simone, C.: A Petri net model of CSP. Proc. CIL'81, Barcelona (1981)"},{"key":"CR10","series-title":"Inf. Fachber.","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1007\/978-3-642-69028-0_4","volume-title":"Application and Theory of Petri Nets","author":"F. Cindio de","year":"1983","unstructured":"de Cindio, F., de Michelis, G., Pomello, L., Simone, C.: Milner's communicating systems and Petri Nets. In: Pagnoni, A., Rozenberg, G. (eds.), Application and Theory of Petri Nets (Inf. Fachber., vol. 66, pp. 40?59). Berlin Heidelberg New York: Springer 1983"},{"key":"CR11","first-page":"105","volume-title":"Formal descr. of programming concepts III","author":"P. Degano","year":"1987","unstructured":"Degano, P., de Nicola, R., Montanari, U.: Observational equivalences for concurrency models. Formal descr. of programming concepts III. Wirsing, M. (ed.), pp. 105?132. Amsterdam: North Holland 1987"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P. Degano","year":"1988","unstructured":"Degano, P., de Nicola, R., Montanari, U.: A distributed operational semantics for CCS based on condition\/event systems. Acta Inf.26, 59?91 (1988)","journal-title":"Acta Inf."},{"key":"CR13","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-50580-6_25","volume-title":"Advances in Petri Nets 1988","author":"P. Degano","year":"1988","unstructured":"Degano, P., Gorrieri, R., Marchetti, S.: An exercise in concurrency: A CSP process as a condition\/event system: In: Rozenberg, G. (ed.) Advances in Petri Nets 1988. (Lect. Notes Comput. Sci., vol. 340, pp. 85?105) Berlin Heidelberg New York: Springer 1988"},{"key":"CR14","first-page":"16","volume":"29","author":"R. Devillers","year":"1988","unstructured":"Devillers, R.: On the definition of a bisimulation notion based on partial words. Petri Net Newsletter29, 16?19 (1988)","journal-title":"Petri Net Newsletter"},{"key":"CR15","unstructured":"Devillers, R.: Maximality preserving bisimulation. Technical Report LIT-214, Univ. Bruxelles (1990)"},{"key":"CR16","unstructured":"van Glabbeek, R.: The refinement theorem for ST-bisimulation semantics. Proc. IFIP Working Group Conference on Programming Concepts and Methods. Broy, M., Jones, C.B. (eds.) (to appear 1990)"},{"key":"CR17","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"Mathematical Foundations of Computer Science","author":"R. Glabbeek van","year":"1989","unstructured":"van Glabbeek, R., Goltz, U.: Equivalence notions for concurrent systems and refinement of actions. Arbeitspapiere der GMD 366 (1989) Extended abstract in: Kreczmar, A., Mirkowska, G. (eds.) Mathematical Foundations of Computer Science (Lect. Notes Comput. Sci., vol. 379, pp. 237?248). Berlin Heidelberg New York: Springer 1989"},{"key":"CR18","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1007\/3-540-52559-9_68","volume-title":"Stepwise refinement of distributed systems. Models, formalisms, correctness","author":"R. Glabbeek van","year":"1990","unstructured":"van Glabbeek, R., Goltz, U.: Refinement of actions in causality based models. In: de Bakker, J.W., de Roever, W.P., Rozenberg, G. (eds.). Stepwise refinement of distributed systems. Models, formalisms, correctness (Lect. Notes Comput. Sci., vol. 430, pp. 267?300). Berlin Heidelberg New York: Springer 1990"},{"key":"CR19","unstructured":"van Glabbeek, R., Goltz, U.: Equivalence notions and refinement of actions for flow event structures. In DEMON deliverables. Esprit BRA 3148 (1990)"},{"key":"CR20","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/3-540-17945-3_13","volume-title":"PARLE. Parallel Architectures and Languages Europe. Vol. 2","author":"R. Glabbeek van","year":"1987","unstructured":"van Glabbeek, R., Vaandrager, F.: Petri net models for algebraic concurrency. Proc. of PARLE Conference. In: de Bakker, J.W., Nijman, A.J., Treleaven, P.C. (eds.) PARLE. Parallel Architectures and Languages Europe. Vol. 2. (Lect. Notes Comput. Sci., vol. 259, pp. 224?242). Berlin Heidelberg New York: Springer 1987"},{"key":"CR21","unstructured":"van Glabbeek, R., Weijland, W.: Refinement in branching time semantics. Proceedings of the International Conference on Algebraic Methodology and Software Technology-Iowa City, USA (1989)"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Goltz, U.: On representing CCS programs by finite Petri nets. Arbeitspapiere der GMD (1988)","DOI":"10.1007\/BFb0017157"},{"key":"CR23","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-15204-0_11","volume-title":"CSP programs as nets with individual tokens","author":"U. Goltz","year":"1985","unstructured":"Goltz, U., Reisig, W.: CSP programs as nets with individual tokens (Lect. Notes Comput. Sci., vol. 188, pp. 169?196). Berlin Heidelberg New York: Springer 1985"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P.E. Lauer","year":"1975","unstructured":"Lauer, P.E., Campbell, R.: Formal semantics of a class of high-level primitives for coordinating concurrent processes. Acta Inf.5, 297?332 (1975)","journal-title":"Acta Inf."},{"key":"CR25","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A calculus of communicating systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A calculus of communicating systems (Lect. Notes Comput. Sci., vol. 92). Berlin Heidelberg New York: Springer 1980"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/3-540-13883-8_66","volume-title":"4th Conf. on Found. of Softw. Techn. and Theor. Comp. Science","author":"M. Nielsen","year":"1984","unstructured":"Nielsen, M., Thiagarajan, P.S.: Degrees of non-determinism and concurrency: A Petri net view. 4th Conf. on Found. of Softw. Techn. and Theor. Comp. Science, pp. 89?117. Berlin Heidelberg New York: Springer 1984"},{"key":"CR27","unstructured":"Park, D.: Concurrency and automata on finite sequences. Computer Science Department, University of Warwick (1981)"},{"key":"CR28","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/BFb0016222","volume-title":"Advances in Petri nets 1985","author":"L. Pomello","year":"1986","unstructured":"Pomello, L.: Some equivalence notions for concurrent systems. An overview. In: Rozenberg, G. (ed.) Advances in Petri nets 1985 (Lect. Notes Comput. Sci. vol. 222, pp. 381?400). Berlin Heidelberg New York: Springer 1986"},{"key":"CR29","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/978-3-642-72822-8_26","volume-title":"Concurrency and nets","author":"L. Pomello","year":"1987","unstructured":"Pomello, L.: Observing net behaviour. In: Voss, K., et al. (eds.) Concurrency and nets, pp. 403?421. Berlin Heidelberg New York: Springer 1987"},{"key":"CR30","unstructured":"Pomello, L.: Osservatore, reti di Petri, Processi. Ph.D. Thesis, University of Milano and Torino-Italy (1988)"},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Pomello, L., Simone, C.: A survey of equivalence notions for net based systems. Draft paper, Univ. Milano. In: Rozenberg, G. (ed.) Advances in Petri nets 1991 (Lect. Notes Comput. Sci.). Berlin Heidelberg New York: Springer (to be published)","DOI":"10.1007\/3-540-55610-9_180"},{"key":"CR32","series-title":"Lect. Notes Comput. Sci.","volume-title":"Advances in Petri nets 1990","author":"L. Pomello","year":"1990","unstructured":"Pomello, L., Simone, C.: A state transformation preorder over a class of EN systems. In: Rozenberg, G. (ed.) Advances in Petri nets 1990 (Lect. Notes Comput. Sci.). Berlin Heidelberg New York: Springer 1990"},{"key":"CR33","series-title":"Lect. Notes Comput. Sci.","first-page":"301","volume-title":"Subset languages of Petri nets","author":"G. Rozenberg","year":"1978","unstructured":"Rozenberg, G., Verraedt, R.: Subset languages of Petri nets (Lect. Notes Comput. Sci., vol. 66) (also: TCS 26, pp. 301?323, 1983). Berlin Heidelberg New York: Springer 1978"},{"key":"CR34","doi-asserted-by":"crossref","first-page":"357","DOI":"10.3233\/FI-1988-11404","volume":"XI","author":"A. Rabinovitch","year":"1988","unstructured":"Rabinovitch, A., Trakhtenbrot, B.A.: Behaviour structures and nets. Fundamenta Informaticae XI, 357?404 (1988)","journal-title":"Fundamenta Informaticae"},{"key":"CR35","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/3-540-52282-4_51","volume-title":"Proc. STACS 90","author":"W. Vogler","year":"1990","unstructured":"Vogler, W.: Failures semantics based on interval semiwords is a congruence for refinement. In: Choffrut, C., Lengauer, T. (eds.) Proc. STACS 90 (Lect. Notes Comput. Sci., vol. 415, pp. 285?297). Berlin Heidelberg New York: Springer 1990"},{"key":"CR36","unstructured":"Vogler, W.: Bisimulation and action refinement. SFB-Bericht 342\/10\/90A, Techn. Univ. M\u00fcnchen (1990)"},{"key":"CR37","unstructured":"Vogler, W.: Failures semantics of Petri nets and the refinement of places and transitions. Technical Report TUM-I9003, Techn. Univ. M\u00fcnchen (1990)"},{"key":"CR38","unstructured":"Voss, K.: System specification with labelled nets and the notion of interface equivalence. Arbeitspapiere der GMD 211 (1986)"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178506.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01178506\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01178506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T11:09:47Z","timestamp":1734952187000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01178506"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,3]]},"references-count":38,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1991,3]]}},"alternative-id":["BF01178506"],"URL":"https:\/\/doi.org\/10.1007\/bf01178506","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1991,3]]}}}