{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:14:29Z","timestamp":1729642469914,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/csd.2003.1207716","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T14:24:01Z","timestamp":1075818241000},"page":"216-225","source":"Crossref","is-referenced-by-count":2,"title":["A new synchronization in finite stochastic Petri box calculus"],"prefix":"10.1109","author":[{"given":"H.","family":"Macia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Valero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Cuartero","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.L.","family":"Pelayo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1007\/3-540-44988-4_18","article-title":"A Compositional Model of Time Petri Nets","author":"koutny","year":"2000","journal-title":"International Conference on Theory and Application of Petri Nets 2000 Lecture Notes in Computer Science"},{"journal-title":"A Congruence relation in finite sPBC Technical Report DIAB-02-01-31","year":"2002","author":"maci\u00e0","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.2001.953370"},{"key":"ref13","article-title":"Extending the Petri Box calculus with Time","volume":"2075","author":"marroqu\u00edn","year":"2001","journal-title":"Proc Int Conf on Theory and Application of Petri Nets 2001"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1995.524325"},{"key":"ref4","first-page":"1","article-title":"Petri Nets, Process Algebras and Programming Languages. Lectures on Petri Nets II: Applications","author":"best","year":"1998","journal-title":"Advances in Petri Nets"},{"key":"ref3","first-page":"873","article-title":"The Handbook on Process algebras","author":"best","year":"2001","journal-title":"A Consistent Model for Nets and Process Algebras"},{"key":"ref6","first-page":"21","article-title":"Advances in Petri Nets","volume":"609","author":"best","year":"1992","journal-title":"The Box Calculus A New Causal Algebra with Multi-label Communication"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04457-5","author":"best","year":"2001","journal-title":"Petri Net Algebra"},{"journal-title":"A Compositional Approach to Performance Modelling","year":"1994","author":"hillston","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60029-9_29"},{"key":"ref2","first-page":"1","article-title":"The Total Order Assumption","author":"baeten","year":"1992","journal-title":"Proceedings Workshop “What good is partial order”"},{"journal-title":"Modelling with Generalized Stochastic Petri Nets","year":"1995","author":"ajmone marsan","key":"ref1"},{"key":"ref9","article-title":"The nature of the synchronization","author":"hillston","year":"1994","journal-title":"Int Workshop on Process Algebra and Performance Modelling"}],"event":{"name":"International Conference on Application of Concurrency to System Design (ACSD'2003)","acronym":"CSD-03","location":"Guimaraes, Portugal"},"container-title":["Third International Conference on Application of Concurrency to System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8583\/27182\/01207716.pdf?arnumber=1207716","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T23:26:12Z","timestamp":1497569172000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1207716\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/csd.2003.1207716","relation":{},"subject":[]}}