{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:10:29Z","timestamp":1773655829552,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2011,3,24]],"date-time":"2011-03-24T00:00:00Z","timestamp":1300924800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Telecommun Syst"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1007\/s11235-011-9424-5","type":"journal-article","created":{"date-parts":[[2011,3,23]],"date-time":"2011-03-23T15:20:16Z","timestamp":1300893616000},"page":"147-158","source":"Crossref","is-referenced-by-count":10,"title":["Modeling UML sequence diagrams using extended Petri nets"],"prefix":"10.1007","volume":"51","author":[{"given":"Nianhua","family":"Yang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huiqun","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hua","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhilin","family":"Qian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,3,24]]},"reference":[{"key":"9424_CR1","unstructured":"OMG (2003). MDA guide version 1.0.1. http:\/\/www.omg.org\/cgi-bin\/doc?omg\/03-06-01 ."},{"key":"9424_CR2","unstructured":"OMG (2007). UML superstructure v2.1.2. http:\/\/www.omg.org\/spec\/UML\/2.1.2\/Superstructure\/PDF ."},{"issue":"1","key":"9424_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/TSE.2008.87","volume":"35","author":"A. Mattsson","year":"2009","unstructured":"Mattsson, A., Lundell, B., Lings, B., & Fitzgerald, B. (2009). Linking model-driven development and software architecture: A case study. IEEE Transactions on Software Engineering, 35(1), 83\u201393.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9424_CR4","first-page":"1","volume-title":"Guide to wireless ad hoc networks","author":"Y. Wang","year":"2009","unstructured":"Wang, Y., & Li, F. (2009). Vehicular ad hoc networks. In Guide to wireless ad hoc networks (pp. 1\u201323). London: Springer."},{"key":"9424_CR5","unstructured":"OMG (2008). UML profile for MARTE, beta 2. http:\/\/www.omgmarte.org\/Specification.htm ."},{"key":"9424_CR6","first-page":"33","volume":"11","author":"S. Bernardi","year":"2009","unstructured":"Bernardi, S., Merseguer, J., & Petriu, D. C. (2009). A dependability profile within MARTE. Software and Systems Modeling, 11, 33. doi: 10.1007\/s10270-009-0128-1 .","journal-title":"Software and Systems Modeling"},{"issue":"4","key":"9424_CR7","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541\u2013580.","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"9424_CR8","first-page":"411","volume":"36","author":"N. Yang","year":"2010","unstructured":"Yang, N., & Yu, H. (2010). Modeling and verification of embedded systems using timed colored Petri net with inhibitor arcs. Journal of East China University of Science and Technology, 36(3), 411\u2013417.","journal-title":"Journal of East China University of Science and Technology"},{"issue":"1","key":"9424_CR9","first-page":"170","volume":"38","author":"N. Yang","year":"2011","unstructured":"Yang, N., Yu, H., & Sun, H. (2011). Model checking timed colored Petri nets with inhibitor arcs. Computer Science, 38(1), 170\u2013176 (in Chinese).","journal-title":"Computer Science"},{"key":"9424_CR10","first-page":"596","volume-title":"The international conference on information science and applications (ICISA 2010)","author":"N. Yang","year":"2010","unstructured":"Yang, N., Yu, H., Sun, H., & Qian, Z. (2010). Modeling UML sequence diagrams using extended Petri nets. In The international conference on information science and applications (ICISA 2010), Seoul, Korea, April 21\u201323, 2010 (Vol. 2, pp. 596\u2013603). Los Alamitos: IEEE Computer Society."},{"key":"9424_CR11","unstructured":"OMG (2008). MOF 2.0 Query\/View\/Transformation (QVT) specification."},{"key":"9424_CR12","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/ICDS.2009.19","volume-title":"Proceedings of the third international conference on digital society (ICDS 2009)","author":"E. Andrade","year":"2009","unstructured":"Andrade, E., Maciel, P., Callou, G., & Nogueira, B. (2009). A methodology for mapping sysML activity diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In Proceedings of the third international conference on digital society (ICDS 2009), Cancun, Mexico, February 1\u20137, 2009 (pp. 266\u2013271). Los Alamitos: IEEE Computer Society."},{"issue":"11","key":"9424_CR13","doi-asserted-by":"crossref","first-page":"1843","DOI":"10.1016\/j.jss.2007.02.029","volume":"80","author":"S. Bernardi","year":"2007","unstructured":"Bernardi, S., & Merseguer, J. (2007). Performance evaluation of UML design with stochastic well-formed nets. Journal of Systems and Software, 80(11), 1843\u20131865.","journal-title":"Journal of Systems and Software"},{"issue":"3","key":"9424_CR14","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/MIC.2006.63","volume":"10","author":"S. Bernardi","year":"2006","unstructured":"Bernardi, S., & Merseguer, J. (2006). QoS assessment via stochastic analysis. IEEE Internet Computing, 10(3), 32\u201342.","journal-title":"IEEE Internet Computing"},{"key":"9424_CR15","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/1529282.1529364","volume-title":"Proceedings of the 2009 ACM symposium on applied computing","author":"E. Andrade","year":"2009","unstructured":"Andrade, E., Maciel, P., Callou, G., Nogueira, B., & Ara\u00fajo, C. (2009). Mapping UML sequence diagram to time Petri net for requirement validation of embedded real-time systems with energy constraints. In Proceedings of the 2009 ACM symposium on applied computing, Waikiki Beach, Honolulu, Hawaii, USA, March 9\u201312, 2009 (pp. 377\u2013381). New York: ACM."},{"key":"9424_CR16","doi-asserted-by":"crossref","first-page":"2999","DOI":"10.1109\/ICSMC.2005.1571606","volume-title":"IEEE international conference on systems, man and cybernetics","author":"L. Amorim","year":"2005","unstructured":"Amorim, L., Maciel, P., Nogueira, M., Barreto, R., & Tavares, E. (2005). A methodology for mapping live sequence chart to coloured Petri net. In IEEE international conference on systems, man and cybernetics, Waikoloa, Hawaii, USA, October 10\u201312, 2005 (Vol. 4, pp. 2999\u20133004). Los Alamitos: IEEE Computer Society."},{"issue":"1","key":"9424_CR17","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/974043.974048","volume":"29","author":"J. P. L\u00f3pez-Grao","year":"2004","unstructured":"L\u00f3pez-Grao, J. P., Merseguer, J., & Campos, J. (2004). From UML activity diagrams to stochastic Petri nets: Application to software performance engineering. ACM\u00a0SIGSOFT Software Engineering Notes, 29(1), 25\u201336.","journal-title":"ACM\u00a0SIGSOFT Software Engineering Notes"},{"key":"9424_CR18","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/ECBS.2008.12","volume-title":"Proceedings of the 15th annual IEEE international conference and workshop on the engineering of computer based systems (ECBS 2008)","author":"T. S. Staines","year":"2008","unstructured":"Staines, T. S. (2008). Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets. In Proceedings of the 15th annual IEEE international conference and workshop on the engineering of computer based systems (ECBS 2008), Belfast, Northern Ireland, March 31\u2013April 4, 2008 (pp. 191\u2013200). Los Alamitos: IEEE Computer Society."},{"issue":"3","key":"9424_CR19","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/s11334-008-0065-0","volume":"4","author":"Y. Thierry-Mieg","year":"2008","unstructured":"Thierry-Mieg, Y., & Hillah, L.-M. (2008). UML behavioral consistency checking using instantiable Petri nets. Innovations in Systems and Software Engineering, 4(3), 293\u2013300.","journal-title":"Innovations in Systems and Software Engineering"},{"key":"9424_CR20","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1109\/EDOC.2008.42","volume-title":"Proceedings of the 12th international IEEE enterprise distributed object computing conference","author":"M. A. Ameedeen","year":"2008","unstructured":"Ameedeen, M. A., & Bordbar, B. (2008). A model driven approach to represent sequence diagrams as free choice Petri nets. In Proceedings of the 12th international IEEE enterprise distributed object computing conference, Munich, Germany, September 15\u201319, 2008 (pp. 213\u2013221). Los Alamitos: IEEE Computer Society."},{"key":"9424_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-3-642-02674-4_16","volume-title":"5th European conference on model driven architecture\u2014foundations and applications (ECMDA-FA 2009)","author":"M. A. Ameedeen","year":"2009","unstructured":"Ameedeen, M. A., Bordbar, B., & Anane, R. (2009). A model driven approach to the analysis of timeliness properties. In Lecture Notes in Computer Science: Vol. 5562. 5th European conference on model driven architecture\u2014foundations and applications (ECMDA-FA 2009), Enschede, The Netherlands, June 23\u201326, 2009 (pp. 221\u2013236). Berlin: Springer."},{"key":"9424_CR22","volume-title":"Proceedings of the sixth international workshop on scenarios and state machines","author":"J. M. Fernandes","year":"2007","unstructured":"Fernandes, J. M., Tjell, S., Jorgensen, J. B., & Ribeiro, O. (2007). Designing tool support for translating use cases and UML 2.0 sequence diagrams into a coloured Petri net. In Proceedings of the sixth international workshop on scenarios and state machines, Minneapolis, MN, USA, May 20\u201326, 2007. Los Alamitos: IEEE Computer Society. doi: 10.1109\/SCESM.2007.1 ."},{"key":"9424_CR23","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1109\/GCIS.2009.397","volume-title":"Global congress on intelligent systems","author":"G. Li","year":"2009","unstructured":"Li, G., & Yao, S. (2009). Research on mapping algorithm of UML sequence diagrams to object Petri nets. In Global congress on intelligent systems, Xiamen, China, May 9\u201321, 2009 (Vol. 4, pp. 285\u2013289). Los Alamitos: IEEE Computer Society."},{"key":"9424_CR24","unstructured":"OMG (2005). UML profile for schedulability, performance, and time, v1.1. http:\/\/www.omg.org\/cgi-bin\/doc?formal\/2005-01-02 ."},{"issue":"2","key":"9424_CR25","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E. M. Clarke","year":"1986","unstructured":"Clarke, E. M., Emerson, E. A., & Sistla, A. P. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS), 8(2), 244\u2013263.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"9424_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic model checking","author":"K. L. McMillan","year":"1993","unstructured":"McMillan, K. L. (1993). Symbolic model checking. Norwell: Kluwer Academic."},{"issue":"10","key":"9424_CR27","doi-asserted-by":"crossref","first-page":"984","DOI":"10.1109\/TSE.2002.1041054","volume":"28","author":"D. Xu","year":"2002","unstructured":"Xu, D., He, X., & Deng, Y. (2002). Compositional schedulability analysis of real-time systems using time Petri nets. IEEE Transactions on Software Engineering, 28(10), 984\u2013996.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"9424_CR28","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/TCAD.2005.855964","volume":"25","author":"R. Jejurikar","year":"2006","unstructured":"Jejurikar, R., & Gupta, R. (2006). Energy-aware task scheduling with task synchronization for embedded real-time systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 25(6), 1024\u20131037.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"}],"container-title":["Telecommunication Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11235-011-9424-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11235-011-9424-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11235-011-9424-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T10:50:10Z","timestamp":1559386210000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11235-011-9424-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,24]]},"references-count":28,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["9424"],"URL":"https:\/\/doi.org\/10.1007\/s11235-011-9424-5","relation":{},"ISSN":["1018-4864","1572-9451"],"issn-type":[{"value":"1018-4864","type":"print"},{"value":"1572-9451","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,24]]}}}