{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,31]],"date-time":"2025-07-31T00:26:37Z","timestamp":1753921597193},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,12,5]],"date-time":"2007-12-05T00:00:00Z","timestamp":1196812800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s10703-007-0045-2","type":"journal-article","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:12:14Z","timestamp":1196939534000},"page":"85-128","source":"Crossref","is-referenced-by-count":4,"title":["A congruence relation for sPBC"],"prefix":"10.1007","volume":"32","author":[{"given":"Hermenegilda","family":"Maci\u00e0","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valent\u00edn","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"de-Frutos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,12,5]]},"reference":[{"key":"45_CR1","volume-title":"Modelling with generalized stochastic Petri nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan M, Balbo G, Conte G, Donatelli S, Franceschinis G (1995) Modelling with generalized stochastic Petri nets. Wiley, New York"},{"key":"45_CR2","unstructured":"Baeten JCM (1992) The total order assumption In: Best E. (ed) Proceedings of the workshop \u201cWhat good is partial order\u201d, Sheffiel Hildesheimer Informatik-Berichte 13\/92, Universitat Hildesheim, pp 1\u201311"},{"issue":"1\u20132","key":"45_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00127-8","volume":"202","author":"M Bernando","year":"1998","unstructured":"Bernando M, Gorrieri R (1998) A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. Theor Comput Sci 202(1\u20132):1\u201354","journal-title":"Theor Comput Sci"},{"key":"45_CR4","series-title":"Advances in Petri nets","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-65307-4_46","volume-title":"Lectures on Petri nets II: applications","author":"E Best","year":"1998","unstructured":"Best E, Devillers R, Koutny M (1998) Petri nets, process algebras and programming languages. In: Reisig W, Rozenberg G (eds) Lectures on Petri nets II: applications. Advances in Petri nets, vol 1492. Springer, Berlin, pp 1\u201384"},{"key":"45_CR5","doi-asserted-by":"crossref","first-page":"873","DOI":"10.1016\/B978-044482830-9\/50032-1","volume-title":"The handbook on process algebras","author":"E Best","year":"2001","unstructured":"Best E, Devillers R, Koutny M (2001) A consistent model for nets and process algebras. In: Bergstra JA, Ponse A (eds) The handbook on process algebras. North\u2013Holland, Amsterdam, pp 873\u2013944, Chapter 14"},{"key":"45_CR6","series-title":"EATCS","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04457-5","volume-title":"Petri net algebra","author":"E Best","year":"2001","unstructured":"Best E, Devillers R, Koutny M (2001) Petri net algebra. EATCS. Springer, Berlin"},{"key":"45_CR7","series-title":"LNCS","first-page":"21","volume-title":"Advances in Petri nets","author":"E Best","year":"1992","unstructured":"Best E, Devilllers R, Hall J (1992) The box calculus: a new causal algebra with multi-label communication. In: Rozenberg G (ed) Advances in Petri nets. LNCS, vol 609. Springer, Berlin, pp 21\u201369"},{"key":"45_CR8","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-60029-9_29","volume-title":"Application and theory of Petri nets 1995","author":"E Best","year":"1995","unstructured":"Best E, Koutny M (1995) A refined view of the box algebra. In: De Michelis G, Diaz M (eds) Application and theory of Petri nets 1995, 16th international conference, Turin, Italy. LNCS, vol 935. Springer, Berlin, pp 1\u201320"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"Bravetti M, Bernardo M (2000) Compositional asymmetric cooperations for process algebras with probabilities, priorities, and Time. In: Proc of 1st workshop on model for time-critical systems, MTCS 2000. ENTCS, vol 39, issue 3","DOI":"10.1016\/S1571-0661(05)01220-X"},{"issue":"1\u20132","key":"45_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","volume":"274","author":"H Hermanns","year":"2002","unstructured":"Hermanns H, Herzog U, Katoen JP (2002) Process algebra for performance evaluation. Theor Comput Sci 274(1\u20132):43\u201378","journal-title":"Theor Comput Sci"},{"key":"45_CR11","unstructured":"Hermanns H, Rettelbach M (1994) Syntax, semantics, equivalences and axioms for MTIPP. In: Herzog U, Rettelbach M (Eds.) Proc of the 2nd workshop on process algebra and performance modelling, Regensberg\/Erlangen, pp 71\u201388"},{"key":"45_CR12","unstructured":"Hillston J (1994) The nature of the synchronization. In: Herzog U, Rettelbach M (eds), Proc of the second international workshop on process algebra and performance modelling, PAPM 1994, Erlagen, pp 51\u201370"},{"key":"45_CR13","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A compositional approach to performance modelling","author":"J Hillston","year":"1996","unstructured":"Hillston J (1996) A compositional approach to performance modelling. Cambridge University Press, Cambridge"},{"key":"45_CR14","volume-title":"Finite Markov chains","author":"JG Kemeny","year":"1960","unstructured":"Kemeny JG, Snell JL (1960) Finite Markov chains. Van Nostrand, Princeton"},{"key":"45_CR15","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-44988-4_18","volume-title":"Application and theory of Petri nets 2000","author":"M Koutny","year":"2000","unstructured":"Koutny M (2000) A compositional model of time Petri nets. In: Nielsen M, Simpson D (eds) Application and theory of Petri nets 2000, 21st international conference, ICATPN 2000, Aarhus, Denmark, LNCS, vol 1825. Springer, Berlin, pp 303\u2013322"},{"key":"45_CR16","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/978-3-540-48654-1_19","volume-title":"International conference on concurrency theory, CONCUR\u201994","author":"M Koutny","year":"1994","unstructured":"Koutny M, Esparza J, Best E (1994) Operational semantics for the Petri box calculus. In: Jonsson B, Parrow (eds) International conference on concurrency theory, CONCUR\u201994. LNCS, vol 836. Springer, Berlin, pp 210\u2013255"},{"issue":"1","key":"45_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(91)90030-6","volume":"94","author":"K Larsen","year":"1991","unstructured":"Larsen K, Skou A (1991) Bisimulation through probabilistic testing. Inf Comput 94(1):1\u201328","journal-title":"Inf Comput"},{"key":"45_CR18","unstructured":"Maci\u00e0 H (2003) sPBC: una extensi\u00f3n Markoviana del Petri box calculus. PhD thesis, Departamento de Inform\u00e1tica, Universidad de Castilla-La Mancha (in Spanish)"},{"key":"45_CR19","series-title":"LNCS","first-page":"292","volume-title":"Formal techniques for networked and distributed systems","author":"H Maci\u00e0","year":"2004","unstructured":"Maci\u00e0 H, Valero V, Cazorla D, Cuartero F (2004) Introducing the iteration in sPBC. In: de Frutos D, N\u00fa\u00f1ez M (eds) Formal techniques for networked and distributed systems. FORTE 2004, 24th IFIP WG 6.1 international conference, Madrid, Spain. LNCS, vol 3235. Springer, Berlin, pp 292\u2013309"},{"key":"45_CR20","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1109\/CSD.2003.1207716","volume-title":"Proc of the 3rd international conference on application of concurrent to system design, ACSD 2003","author":"H Maci\u00e0","year":"2003","unstructured":"Maci\u00e0 H, Valero V, Cuartero F, Pelayo FL (2003) A new proposal for the synchronization in sPBC. In: Proc of the 3rd international conference on application of concurrent to system design, ACSD 2003, Guimaraes, Portugal. IEEE Computer Society Press, Los Alamitos, pp 216\u2013225"},{"key":"45_CR21","first-page":"207","volume-title":"Proc of the 9th IEEE int workshop on Petri nets and performance models, PNPM 2001","author":"H Maci\u00e0","year":"2001","unstructured":"Maci\u00e0 H, Valero V, de Frutos D (2001) sPBC: A Markovian extension of finite Petri box calculus. In: Proc of the 9th IEEE int workshop on Petri nets and performance models, PNPM 2001, Aachen, Germany. IEEE Computer Society, Los Alamitos, pp 207\u2013216"},{"key":"45_CR22","series-title":"LNCS","first-page":"195","volume-title":"Application and theory of Petri nets","author":"O Marroqu\u00edn","year":"2001","unstructured":"Marroqu\u00edn O, de Frutos D (2001) Extending the Petri box calculus with time. In: Colom JM, Koutny M (eds) Application and theory of Petri nets 22nd International Conference, ICATPN 2001, Newcastle upon Tyne, UK. LNCS, vol 2075. Springer, Berlin, pp 195\u2013207"},{"key":"45_CR23","volume-title":"Communication and concurrency","author":"R Milner","year":"1989","unstructured":"Milner R (1989) Communication and concurrency. Prentice Hall International, Englewood"},{"key":"45_CR24","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1109\/PNPM.1995.524325","volume-title":"Proc of the 6th int workshop on Petri nets and performance models (PNPM\u201995), Durham","author":"M Ribaudo","year":"1995","unstructured":"Ribaudo M (1995) Stochastic Petri net semantics for stochastic process algebra. In: Proc of the 6th int workshop on Petri nets and performance models (PNPM\u201995), Durham. IEEE Computer Society, Englewood, pp 148\u2013157"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-007-0045-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-007-0045-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-007-0045-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T18:01:03Z","timestamp":1559239263000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-007-0045-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,5]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["45"],"URL":"https:\/\/doi.org\/10.1007\/s10703-007-0045-2","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,12,5]]}}}