{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,30]],"date-time":"2025-12-30T23:31:40Z","timestamp":1767137500614,"version":"build-2238731810"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319051185","type":"print"},{"value":"9783319051192","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-05119-2_13","type":"book-chapter","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T04:36:28Z","timestamp":1394166988000},"page":"219-234","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Specification of Asynchronous Component Systems with Modal I\/O-Petri Nets"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[]},{"given":"Rolf","family":"Hennicker","sequence":"additional","affiliation":[]},{"given":"Mikael H.","family":"M\u00f8ller","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,3,8]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface-based design. Engineering Theories of Software-intensive Systems, NATO Science Series: Mathematics, Physics, and Chemistry, vol. 195. Springer, pp. 83\u2013104 (2005)","DOI":"10.1007\/1-4020-3532-2_3"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Bene\u0161, N., K\u0159et\u00ednsk\u00fd, J.: Modal process rewrite systems. In: Proceedings of the International Conference on Theoretical Aspects of Computing (ICTAC 2012), vol. LNCS 7521, pp 120\u2013135, Springer (2012)","DOI":"10.1007\/978-3-642-32943-2_9"},{"issue":"4","key":"13_CR3","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1145\/606612.606614","volume":"11","author":"M Bernardo","year":"2002","unstructured":"Bernardo, M., Ciancarini, P., Donatiello, L.: Architecting families of software systems with process algebras. ACM Trans. Softw. Eng. Meth. 11(4), 386\u2013426 (2002)","journal-title":"ACM Trans. Softw. Eng. Meth."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification: Model-Cheking Techniques and Tools. Springer, Heidelberg (2001)","DOI":"10.1007\/978-3-662-04558-9"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Best, E., Devillers, R., Koutny, M.: Petri Net Algebra. Springer Monographs in Theoretical Computer Science (2001)","DOI":"10.1007\/978-3-662-04457-5"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Brauer, W., Gold, R., Vogler, W.: A survey of behaviour and equivalence preserving refinements of Petri nets. Applications and Theory of Petri Nets, pp. 1\u201346 (1989)","DOI":"10.1007\/3-540-53863-1_19"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Elhog-Benzina, D., Haddad, S., Hennicker, R.: Refinement and asynchronous composition of modal Petri Nets. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency V. LNCS, vol.\u00a06900, pp. 96\u2013120. Springer, Heidelberg (2012)","DOI":"10.1007\/978-3-642-29072-5_4"},{"key":"13_CR8","first-page":"124","volume":"4546","author":"P Ganty","year":"2007","unstructured":"Ganty, P., Raskin, J.-F., Van Begin, L.: From many places to few: automatic abstraction refinement for Petri Nets, ATPN 2007. LNCS 4546, 124\u2013143 (2007)","journal-title":"LNCS"},{"key":"13_CR9","series-title":"LNCS","first-page":"369","volume-title":"Petri Nets 2013","author":"S Haddad","year":"2013","unstructured":"Haddad, S., Hennicker, R., M\u00f8ller, M.H.: Channel properties of asynchronously composed Petri Nets. In: Colom, J.-M., Desel, J. (eds.) Petri Nets 2013. LNCS, vol. 7927, pp. 369\u2013388. Springer, Heidelberg (2013)"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Haddad, S., Hennicker, R., M\u00f8ller, M.H.: Channel properties of asynchronously composed Petri Nets. Research Report LSV-13-05, Laboratoire Sp\u00e9cification et V\u00e9rification, ENS Cachan, France (2013)","DOI":"10.1007\/978-3-642-38697-8_20"},{"key":"13_CR11","unstructured":"Haddad, S., Hennicker, R., M\u00f8ller, M.H.: Specification of asynchronous component systems with modal I\/O-Petri Nets. Research Report LSV-13-16, Laboratoire Sp\u00e9cification et V\u00e9rification. ENS Cachan, France (2013)"},{"key":"13_CR12","series-title":"LNCS","first-page":"135","volume-title":"ICTAC 2011","author":"R Hennicker","year":"2011","unstructured":"Hennicker, R., Knapp, A.: Modal interface theories for communication-safe component assemblies. In: Cerone, A., Pihlajasaari, P. (eds.) ICTAC 2011. LNCS, vol. 6916, pp. 135\u2013153. Springer, Heidelberg (2011)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"H\u00fcttel, H., Larsen, K.G.: The use of static constructs in a modal process logic. In: Logic at Botik 1989, pp. 163\u2013180 (1989)","DOI":"10.1007\/3-540-51237-3_14"},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0304-3975(95)00037-W","volume":"148","author":"P Jancar","year":"1995","unstructured":"Jancar, P.: Undecidability of bisimilarity for Petri Nets and related problems. Theor. Comput. Sci. 148, 281\u2013301 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Larsen, K.G., Thomsen, B.; A modal process logic. In: 3rd Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society, pp. 203\u2013210 (1988)","DOI":"10.1109\/LICS.1988.5119"},{"key":"13_CR16","series-title":"LNCS","first-page":"321","volume-title":"ICATPN 2007","author":"N Lohmann","year":"2007","unstructured":"Lohmann, N., Massuthe, P., Wolf, K.: Operating guidelines for finite-state services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321\u2013341. Springer, Heidelberg (2007)"},{"key":"13_CR17","unstructured":"Raclet, J.-B.: Residual for component specifications. In: Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS07), Sophia-Antipolis, France (2007)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Reisig, W.: Simple composition of nets. In: Franceschinis, G., Wolf, K. (eds.) Petri Nets 2009. LNCS, vol.\u00a05606, pp. 23\u201342. Springer, Heidelberg (2009)","DOI":"10.1007\/978-3-642-02424-5_4"},{"issue":"1\u20133","key":"13_CR19","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/j.tcs.2007.08.005","volume":"388","author":"M Sch\u00e4fer","year":"2007","unstructured":"Sch\u00e4fer, M., Vogler, W.: Component refinement and CSC-solving for STG decomposition. Theor. Comput. Sci. 388(1\u20133), 243\u2013266 (2007)","journal-title":"Theor. Comput. Sci."},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Souissi, Y.: On liveness preservation by composition of nets via a set of places. In: 11th International Conference on Applications and Theory of Petri Nets, LNCS 524, pp. 277\u2013295 (1990)","DOI":"10.1007\/BFb0019979"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Souissi, Y., Memmi, G.: Composition of nets via a communication medium. In: 10th International Conference on Applications and Theory of Petri Nets, LNCS 483, pp. 457\u2013470 (1989)","DOI":"10.1007\/3-540-53863-1_34"},{"issue":"9","key":"13_CR22","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1016\/j.datak.2009.02.012","volume":"68","author":"C. Stahl","year":"2009","unstructured":"Stahl, C., Wolf, K.: Deciding service composition and substitutability using extended operating guidelines. Data Knowl. Eng. 68(9), 819\u2013833 (2009)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Computer Science","Trustworthy Global Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-05119-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T20:35:59Z","timestamp":1746131759000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-05119-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319051185","9783319051192"],"references-count":22,"aliases":["10.1007\/978-3-319-14128-2_13"],"URL":"https:\/\/doi.org\/10.1007\/978-3-319-05119-2_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 March 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}