{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:51:04Z","timestamp":1743151864425,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319476766"},{"type":"electronic","value":"9783319476773"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47677-3_1","type":"book-chapter","created":{"date-parts":[[2016,10,5]],"date-time":"2016-10-05T06:17:10Z","timestamp":1475648230000},"page":"1-17","source":"Crossref","is-referenced-by-count":1,"title":["Place Bisimulation and Liveness for Open Petri Nets"],"prefix":"10.1007","author":[{"given":"Xiaoju","family":"Dong","sequence":"first","affiliation":[]},{"given":"Yuxi","family":"Fu","sequence":"additional","affiliation":[]},{"given":"Daniele","family":"Varacca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,6]]},"reference":[{"key":"1_CR1","unstructured":"van der Aalst, W.M.P.: Pi calculus versus petri nets: let us eat humble pie rather than further inflate the pi hype (2003)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-04081-8_8","volume-title":"CONCUR 2009 - Concurrency Theory","author":"P Baldan","year":"2009","unstructured":"Baldan, P., Bonchi, F., Gadducci, F.: Encoding asynchronous interactions using open petri nets. In: Bravetti, M., Zavattaro, G. (eds.) CONCUR 2009. LNCS, vol. 5710, pp. 99\u2013114. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-04081-8_8"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/3-540-44685-0_34","volume-title":"CONCUR 2001 \u2014 Concurrency Theory","author":"P Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional modeling of reactive systems using open nets. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR 2001. LNCS, vol. 2154, pp. 502\u2013518. Springer, Heidelberg (2001). doi: 10.1007\/3-540-44685-0_34"},{"issue":"1","key":"1_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0960129504004311","volume":"15","author":"P Baldan","year":"2005","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R.: Compositional semantics for open petri nets based on deterministic processes. Math. Struct. Comput. Sci. 15(1), 1\u201335 (2005)","journal-title":"Math. Struct. Comput. Sci."},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/978-3-540-73859-6_9","volume-title":"Algebra and Coalgebra in Computer Science","author":"P Baldan","year":"2007","unstructured":"Baldan, P., Corradini, A., Ehrig, H., Heckel, R., K\u00f6nig, B.: Bisimilarity and behaviour-preserving reconfigurations of open petri nets. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, vol. 4624, pp. 126\u2013142. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-73859-6_9"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/978-3-540-87405-8_18","volume-title":"Graph Transformations","author":"P Baldan","year":"2008","unstructured":"Baldan, P., Corradini, A., Ehrig, H., K\u00f6nig, B.: Open petri nets: non-deterministic processes and compositionality. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 257\u2013273. Springer, Heidelberg (2008). doi: 10.1007\/978-3-540-87405-8_18"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/3-540-55610-9_167","volume-title":"Advances in Petri Nets 1992","author":"E Best","year":"1992","unstructured":"Best, E., Devillers, R., Hall, J.G.: The box calculus: a new causal algebra with multi-label communication. In: Rozenberg, G. (ed.) Advances in Petri Nets 1992. LNCS, vol. 609, pp. 21\u201369. Springer, Heidelberg (1992). doi: 10.1007\/3-540-55610-9_167"},{"key":"1_CR8","first-page":"875","volume-title":"Handbook of Process Algebra","author":"E Best","year":"2001","unstructured":"Best, E., Devillers, R., Koutny, M.: A unified model for nets and process algebras. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 875\u2013944. Elsevier Science, Amsterdam (2001)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-60218-6_11","volume-title":"CONCUR \u201995: Concurrency Theory","author":"N Busi","year":"1995","unstructured":"Busi, N., Gorrieri, R.: A Petri net semantics for pi-calculus. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 145\u2013159. Springer, Heidelberg (1995). doi: 10.1007\/3-540-60218-6_11"},{"issue":"3","key":"1_CR10","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/j.jlap.2008.08.002","volume":"78","author":"N Busi","year":"2009","unstructured":"Busi, N., Gorrieri, R.: Distributed semantics for the -calculus based on Petri nets with inhibitor arcs. J. Logic Algebraic Programm. 78(3), 138\u2013162 (2009)","journal-title":"J. Logic Algebraic Programm."},{"key":"1_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/3-540-13345-3_7","volume-title":"Automata, Languages and Programming","author":"JA Bergstra","year":"1984","unstructured":"Bergstra, J.A., Klop, J.W.: The algebra of recursively defined processes and the algebra of regular processes. In: Paredaens, J. (ed.) ICALP 1984. LNCS, vol. 172, pp. 82\u201394. Springer, Heidelberg (1984). doi: 10.1007\/3-540-13345-3_7"},{"issue":"1","key":"1_CR12","first-page":"52","volume":"38","author":"M Cao","year":"2004","unstructured":"Cao, M., Wu, Z., Yang, G.: Pi net - a new modular higher petri net. J. Shanghai Jiaotong Univ. 38(1), 52\u201358 (2004). in Chinese","journal-title":"J. Shanghai Jiaotong Univ."},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-30232-2_20","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"R Devillers","year":"2004","unstructured":"Devillers, R., Klaudel, H., Koutny, M.: Petri net semantics of the finite pi-calculus. In: Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol. 3235, pp. 309\u2013325. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-30232-2_20"},{"issue":"1\u20132","key":"1_CR14","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02915446","volume":"26","author":"P Degano","year":"1988","unstructured":"Degano, P., Nicola, R.D., Montanari, U.: A distributed operational semantics for CCS based on C\/E systems. Acta Informatica 26(1\u20132), 59\u201391 (1988)","journal-title":"Acta Informatica"},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"1387","DOI":"10.1016\/j.tcs.2009.11.011","volume":"411","author":"Y Fu","year":"2010","unstructured":"Fu, Y., Lv, H.: On the expressiveness of interaction. Theoret. Comput. Sci. 411, 1387\u20131451 (2010)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.tcs.2015.07.043","volume":"611","author":"Y Fu","year":"2016","unstructured":"Fu, Y.: Theory of interaction. Theoret. Comput. Sci. 611, 1\u201349 (2016)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR17","first-page":"9","volume":"S2","author":"X Guo","year":"2002","unstructured":"Guo, X., Hao, K., Hou, H., Ding, J.: The representation of petri nets with prohibition arcs by Pi+ calculus. J. Syst. Simul. S2, 9\u201312 (2002)","journal-title":"J. Syst. Simul."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/3-540-53479-2_14","volume-title":"Semantics of Systems of Concurrent Processes","author":"U Goltz","year":"1990","unstructured":"Goltz, U.: CCS and petri nets. In: Guessarian, I. (ed.) LITP 1990. LNCS, vol. 469, pp. 334\u2013357. Springer, Heidelberg (1990). doi: 10.1007\/3-540-53479-2_14"},{"issue":"6","key":"1_CR19","first-page":"461","volume":"27","author":"K Hao","year":"1997","unstructured":"Hao, K.: Open nets - a model for interative concurrent systems. J. Northwest Univ. (Nat. Sci. Ed.) 27(6), 461\u2013466 (1997)","journal-title":"J. Northwest Univ. (Nat. Sci. Ed.)"},{"issue":"8","key":"1_CR20","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"issue":"1\u20132","key":"1_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0304-3975(97)00180-1","volume":"211","author":"M Koutny","year":"1999","unstructured":"Koutny, M., Best, E.: Operational and denotational semantics for the box algebra. Theoret. Comput. Sci. 211(1\u20132), 1\u201383 (1999)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1007\/978-3-540-48654-1_19","volume-title":"CONCUR \u201994: Concurrency Theory","author":"M Koutny","year":"1994","unstructured":"Koutny, M., Esparza, J., Best, E.: Operational semantics for the petri box calculus. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol. 836, pp. 210\u2013225. Springer, Heidelberg (1994). doi: 10.1007\/978-3-540-48654-1_19"},{"key":"1_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-63139-9_39","volume-title":"Application and Theory of Petri Nets 1997","author":"E Kindler","year":"1997","unstructured":"Kindler, E.: A compositional partial order semantics for Petri net components. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 235\u2013252. Springer, Heidelberg (1997). doi: 10.1007\/3-540-63139-9_39"},{"issue":"2","key":"1_CR24","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1109\/TSMCA.2012.2204741","volume":"43","author":"G Liu","year":"2013","unstructured":"Liu, G., Jiang, C., Zhou, M.: Interactive petri nets. IEEE Trans. Syst. Man Cybern. Syst. 43(2), 291\u2013302 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","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. LNCS. Springer, Berlin (1980)"},{"key":"1_CR26","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J Meseguer","year":"1990","unstructured":"Meseguer, J., Montanari, U.: Petri nets are monoids. Inf. Comput. 88, 105\u2013155 (1990)","journal-title":"Inf. Comput."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Inf. Comput. 100, 1\u201340(Part I), 41\u201377 (Part II) (1992)","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"1_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1007\/3-540-17906-2_32","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"M Nielsen","year":"1987","unstructured":"Nielsen, M.: CCS \u2014 and its relationship to net theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 393\u2013415. Springer, Heidelberg (1987). doi: 10.1007\/3-540-17906-2_32"},{"key":"1_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1007\/3-540-60218-6_13","volume-title":"CONCUR \u201995: Concurrency Theory","author":"M Nielsen","year":"1995","unstructured":"Nielsen, M., Priese, L., Sassone, V.: Characterizing behavioural congruences for Petri nets. In: Lee, I., Smolka, S.A. (eds.) CONCUR 1995. LNCS, vol. 962, pp. 175\u2013189. Springer, Heidelberg (1995). doi: 10.1007\/3-540-60218-6_13"},{"key":"1_CR30","volume-title":"Petri Net Theory and the Modelling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri Net Theory and the Modelling of Systems. Prentice Hall, Englewood Cliffs (1981)"},{"issue":"1\u20132","key":"1_CR31","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0304-3975(97)00169-2","volume":"206","author":"L Priese","year":"1998","unstructured":"Priese, L., Wimmel, H.: A uniform approach to true-concurrency and interleaving semantics for Petri nets. Theoret. Comput. Sci. 206(1\u20132), 219\u2013256 (1998)","journal-title":"Theoret. Comput. Sci."},{"key":"1_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/3-540-17906-2_31","volume-title":"Petri Nets: Applications and Relationships to Other Models of Concurrency","author":"G Winskel","year":"1987","unstructured":"Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) ACPN 1986. LNCS, vol. 255, pp. 325\u2013392. Springer, Heidelberg (1987). doi: 10.1007\/3-540-17906-2_31"},{"issue":"8","key":"1_CR33","first-page":"864","volume":"22","author":"Z Yu","year":"2007","unstructured":"Yu, Z., Cai, Y., Xu, H.: Petri net semantics for Pi Calculus. Control Decis. 22(8), 864\u2013868 (2007). in Chinese","journal-title":"Control Decis."}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering: Theories, Tools, and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47677-3_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:37:11Z","timestamp":1568435831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47677-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319476766","9783319476773"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47677-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}