{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T08:35:59Z","timestamp":1725870959740},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319491776"},{"type":"electronic","value":"9783319491783"}],"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-49178-3_31","type":"book-chapter","created":{"date-parts":[[2016,11,9]],"date-time":"2016-11-09T02:17:26Z","timestamp":1478657846000},"page":"408-422","source":"Crossref","is-referenced-by-count":0,"title":["A Sufficient and Necessary Condition to Decide Compatibility for Simple Circuit Inter-organization Workflow Nets"],"prefix":"10.1007","author":[{"given":"Leifeng","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guanjun","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mimi","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,11,10]]},"reference":[{"key":"31_CR1","first-page":"335","volume":"34","author":"WMP Aalst","year":"1999","unstructured":"Aalst, W.M.P.: Interorganizational workflows: an approach based on message sequence charts and Petri nets. Syst. Anal. Model. Simul. 34, 335\u2013367 (1999)","journal-title":"Syst. Anal. Model. Simul."},{"key":"31_CR2","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst","year":"1998","unstructured":"Aalst, W.M.P.: The application of Petri nets to workflow management. J. Circuit Syst. Comp. 8, 21\u201366 (1998)","journal-title":"J. Circuit Syst. Comp."},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/3-540-45594-9_11","volume-title":"Business Process Management","author":"WMP Aalst","year":"2000","unstructured":"Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161\u2013183. Springer, Heidelberg (2000). doi: 10.1007\/3-540-45594-9_11"},{"key":"31_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-642-01918-0_2","volume-title":"Formal Methods for Web Services","author":"WMP Aalst","year":"2009","unstructured":"Aalst, W.M.P., Mooij, A.J., Stahl, C., Wolf, K.: Service interaction: patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 42\u201388. Springer, Heidelberg (2009). doi: 10.1007\/978-3-642-01918-0_2"},{"key":"31_CR5","unstructured":"Barkaoui, K., Ben Abdallah, I.: Structural liveness analysis of $$S^3PR$$ nets. In: Symposium on Discrete Events and Manufacturing Systems, CESA 1996 IMACS Multiconference, pp. 438\u2013443, January 1996"},{"key":"31_CR6","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1049\/iet-cta.2007.0470","volume":"3","author":"D Chao","year":"2009","unstructured":"Chao, D., Li, Z.W.: Structural conditions of systems of simple sequential processes with resources nets without weakly dependent siphons. IET Control Theory Appl. 3, 391\u2013403 (2009)","journal-title":"IET Control Theory Appl."},{"issue":"6","key":"31_CR7","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1109\/70.650158","volume":"13","author":"F Chu","year":"1997","unstructured":"Chu, F., Xie, X.: Deaklock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Autom. 13(6), 793\u2013804 (1997)","journal-title":"IEEE Trans. Robot. Autom."},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-44919-1_3","volume-title":"Applications and Theory of Petri Nets 2003","author":"JM Colom","year":"2003","unstructured":"Colom, J.M.: The resource allocation problem in flexible manufacturing systems. In: Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 23\u201335. Springer, Heidelberg (2003). doi: 10.1007\/3-540-44919-1_3"},{"key":"31_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free Choice Petri Nets","author":"J Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. Cambridge University Press, Cambridge (1995)"},{"key":"31_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TSMCA.2003.820590","volume":"34","author":"MP Fanti","year":"2004","unstructured":"Fanti, M.P., Zhou, M.C.: Deaklock control methods in automated manufacturing systems. IEEE Trans. Syst. Man Cybern. A. 34, 5\u201322 (2004)","journal-title":"IEEE Trans. Syst. Man Cybern. A."},{"key":"31_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-27793-4_12","volume-title":"Applications and Theory of Petri Nets 2004","author":"K Hee","year":"2004","unstructured":"Hee, K., Sidorova, N., Voorhoeve, M.: Generalised soundness of workflow nets is decidable. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol. 3099, pp. 197\u2013215. Springer, Heidelberg (2004). doi: 10.1007\/978-3-540-27793-4_12"},{"key":"31_CR12","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1109\/TSMCA.2003.820579","volume":"34","author":"MD Jeng","year":"2004","unstructured":"Jeng, M.D., Xie, X.L., Chung, S.L.: $$ERCN^*$$ Merged nets for modeling degraded behavior and parallel processes in semiconductor manufacturing systems. IEEE Trans. Syst. Man. Cybern. Part A 34, 102\u2013112 (2004)","journal-title":"IEEE Trans. Syst. Man. Cybern. Part A"},{"key":"31_CR13","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1016\/S0304-3975(03)00359-1","volume":"311","author":"L Jiao","year":"2004","unstructured":"Jiao, L., Cheung, T., Lu, W.: On liveness and boundedness of asymmetric choice nets. Theoret. Comput. Sci. 311, 165\u2013197 (2004)","journal-title":"Theoret. Comput. Sci."},{"key":"31_CR14","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1109\/TSC.2010.2","volume":"3","author":"TH Kim","year":"2010","unstructured":"Kim, T.H., Chang, C.K., Mitra, S.: Design of service-oriented systems using SODA. IEEE Trans. Serv. Comput. 3, 236\u2013249 (2010)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"31_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-642-21834-7_18","volume-title":"Applications and Theory of Petri Nets","author":"E Kindler","year":"2011","unstructured":"Kindler, E.: The ePNK: an extensible Petri net tool for PNML. In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol. 6709, pp. 318\u2013327. Springer, Heidelberg (2011). doi: 10.1007\/978-3-642-21834-7_18"},{"issue":"2","key":"31_CR16","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/TSC.2013.36","volume":"7","author":"GJ Liu","year":"2014","unstructured":"Liu, G.J.: Some complexity results for the soundness problem of workflow nets. IEEE Trans. Serv. Comput. 7(2), 322\u2013328 (2014)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"31_CR17","doi-asserted-by":"crossref","first-page":"1533","DOI":"10.1080\/00207721.2014.938788","volume":"47","author":"GJ Liu","year":"2016","unstructured":"Liu, G.J., Chen, L.: Deciding the liveness for a subclass of weighed Petri nets based on structurally circular wait. Int. J. Syst. Sci. 47, 1533\u20131542 (2016)","journal-title":"Int. J. Syst. Sci."},{"issue":"8","key":"31_CR18","doi-asserted-by":"crossref","first-page":"1201","DOI":"10.1109\/TSMC.2014.2386802","volume":"45","author":"GJ Liu","year":"2015","unstructured":"Liu, G.J., Jiang, C.J.: Co-NP-hardness of the soundness problem for asymmetric-choice workflow nets. IEEE Trans. Syst. Man Cybern. Syst. 45(8), 1201\u20131204 (2015)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Liu, G.J., Jiang, C.J.: Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets. Sci. China Inf. Sci. 58, 072103(16) (2015)","DOI":"10.1007\/s11432-014-5259-5"},{"issue":"2","key":"31_CR20","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1109\/TSMCA.2012.2204741","volume":"43","author":"GJ Liu","year":"2013","unstructured":"Liu, G.J., Jiang, C.J., Zhou, M.C., Xiong, P.C.: Interactive Petri nets. IEEE Trans. Syst. Man Cybern. Syst. 43(2), 291\u2013302 (2013)","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"key":"31_CR21","doi-asserted-by":"crossref","first-page":"4104","DOI":"10.1109\/ACCESS.2016.2597061","volume":"4","author":"GJ Liu","year":"2016","unstructured":"Liu, G.J., Reisig, W., Jiang, C.J., Zhou, M.C.: A branching-process-based method to check soundness of workflow systems. IEEE Access 4, 4104\u20134118 (2016)","journal-title":"IEEE Access"},{"key":"31_CR22","unstructured":"Matshmoto, T., Tsuruta, Y.: Necessary and sufficient condition for liveness of asymmetric choice Petri nets. IEICE Trans. Fundam. E80-A, 521\u2013533 (1997)"},{"key":"31_CR23","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"31_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-33278-4","volume-title":"Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies","author":"W Reisig","year":"2013","unstructured":"Reisig, W.: Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Advances in Services Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-49178-3_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T11:28:15Z","timestamp":1568546895000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-49178-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319491776","9783319491783"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-49178-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}