{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T01:49:38Z","timestamp":1776908978752,"version":"3.51.2"},"reference-count":67,"publisher":"MDPI AG","issue":"10","license":[{"start":{"date-parts":[[2016,9,25]],"date-time":"2016-09-25T00:00:00Z","timestamp":1474761600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"the grants of the National Social Science Foundation Project of China","award":["12BJY058"],"award-info":[{"award-number":["12BJY058"]}]},{"name":"the Humanities and Social Sciences planning projects from the Education Ministry of China","award":["12YJA790159"],"award-info":[{"award-number":["12YJA790159"]}]},{"name":"the Key Technology R&amp;D Program of Shandong Province of China","award":["2012GSF11718"],"award-info":[{"award-number":["2012GSF11718"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sensors"],"abstract":"<jats:p>The service of sensor device in Emerging Sensor Networks (ESNs) is the extension of traditional Web services. Through the sensor network, the service of sensor device can communicate directly with the entity in the geographic environment, and even impact the geographic entity directly. The interaction between the sensor device in ESNs and geographic environment is very complex, and the interaction modeling is a challenging problem. This paper proposed a novel Petri Nets-based modeling method for the interaction between the sensor device and the geographic environment. The feature of the sensor device service in ESNs is more easily affected by the geographic environment than the traditional Web service. Therefore, the response time, the fault-tolerant ability and the resource consumption become important factors in the performance of the whole sensor application system. Thus, this paper classified IoT services as Sensing services and Controlling services according to the interaction between IoT service and geographic entity, and classified GIS services as data services and processing services. Then, this paper designed and analyzed service algebra and Colored Petri Nets model to modeling the geo-feature, IoT service, GIS service and the interaction process between the sensor and the geographic enviroment. At last, the modeling process is discussed by examples.<\/jats:p>","DOI":"10.3390\/s16101571","type":"journal-article","created":{"date-parts":[[2016,9,26]],"date-time":"2016-09-26T10:02:44Z","timestamp":1474884164000},"page":"1571","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["A Novel Petri Nets-Based Modeling Method for the Interaction between the Sensor and the Geographic Environment in Emerging Sensor Networks"],"prefix":"10.3390","volume":"16","author":[{"given":"Feng","family":"Zhang","sequence":"first","affiliation":[{"name":"College of Geography and Environment, Shandong Normal University, Jinan 250014, China"}]},{"given":"Yuetong","family":"Xu","sequence":"additional","affiliation":[{"name":"College of Geography and Environment, Shandong Normal University, Jinan 250014, China"}]},{"given":"Jarong","family":"Chou","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Michigan State University, Michigan, MI 48824, USA"}]}],"member":"1968","published-online":{"date-parts":[[2016,9,25]]},"reference":[{"key":"ref_1","first-page":"1219","article-title":"An EDSOA-based services provisioning approach for Internet of Things","volume":"43","author":"Qiao","year":"2013","journal-title":"Sci. China Inf. Sci."},{"key":"ref_2","unstructured":"ITU Internet Reports 2005: The Internet of Thing. Available online: http:\/\/www.itu.int\/osg\/spu\/publications\/internetofthings\/."},{"key":"ref_3","doi-asserted-by":"crossref","first-page":"15553","DOI":"10.3390\/s140815553","article-title":"Application of service oriented architecture for sensors and actuators in district heating substations","volume":"14","author":"Gustafsson","year":"2014","journal-title":"Sensors"},{"key":"ref_4","first-page":"97","article-title":"Preliminary study of service discovery in Internet of Things: Feasibility and lim-itation of SOA","volume":"7","author":"Wei","year":"2013","journal-title":"J. Front. Comput. Sci. Technol."},{"key":"ref_5","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1007\/s11390-011-1189-5","article-title":"Internet of Things: Objectives and scientific challenges","volume":"26","author":"Ma","year":"2011","journal-title":"J. Comput. Sci. Technol."},{"key":"ref_6","unstructured":"International Organization for Standardization (2007). ISO 19101: Geographic information\u2014Reference model, Distributed through American National Standards Institute (ANSI)."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"144","DOI":"10.1109\/MCOM.2012.6384464","article-title":"Management of resource constrained devices in the internet of things","volume":"50","author":"Sehgal","year":"2012","journal-title":"IEEE Commun. Mag."},{"key":"ref_8","doi-asserted-by":"crossref","unstructured":"D\u2019Arienzo, M., Iacono, M., Marrone, S., and Nardone, R. (2013, January 25\u201328). Estimation of the energy consumption of mobile sensors in WSN environmental monitoring application. Proceedings of the 2013 27th International Conference on Advanced Information Networking and Applications Workshops (WAINA), Barcelona, Spain.","DOI":"10.1109\/WAINA.2013.33"},{"key":"ref_9","unstructured":"Miller, F.P., Vandome, A.F., and Mcbrewster, J. (2010). Devices Profile for Web Services, Alphascript Publishing."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1109\/MPRV.2006.59","article-title":"SODA: Service oriented device architecture","volume":"5","author":"Deugd","year":"2006","journal-title":"IEEE Perv. Comput."},{"key":"ref_11","unstructured":"Souza, L.M.S.D., Spiess, P., Guinard, D., K\u00f6hler, M., Karnouskos, S., and Savio, D. (2008, January 26\u201328). SOCRADES: A web service based shop floor integration infrastructure. Proceedings of the International Conference on the Internet of Things, Zurich, Switzerland."},{"key":"ref_12","doi-asserted-by":"crossref","unstructured":"Spiess, P., Karnouskos, S., Guinard, D., Savio, D., Baecker, O., Souza, L.M.S.D., and Trifa, V. (2009, January 6\u201310). SOA-based integration of the Internet of Things in enterprise services. Proceedings of the IEEE International Conference on Web Services, Los Angeles, CA, USA.","DOI":"10.1109\/ICWS.2009.98"},{"key":"ref_13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSC.2010.3","article-title":"Interacting with the SOA-based Internet of Things: Discovery, query, selection, and on-demand provisioning of web services","volume":"3","author":"Guinard","year":"2010","journal-title":"IEEE Trans. Serv. Comput."},{"key":"ref_14","first-page":"271","article-title":"IoT service modeling and description based on XML and Petri-Net","volume":"5","author":"Yimu","year":"2013","journal-title":"Adv. Inf. Sci. Serv. Sci."},{"key":"ref_15","doi-asserted-by":"crossref","unstructured":"Buckl, C., Sommer, S., Scholz, A., Knoll, A., and Kemper, A. (2008, January 11\u201313). Generating a tailored middleware for wireless sensor network applications. Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, Taichung, Taiwan.","DOI":"10.1109\/SUTC.2008.57"},{"key":"ref_16","doi-asserted-by":"crossref","unstructured":"Buckl, C., Sommer, S., Scholz, A., Knoll, A., Kemper, A., Heuer, J., and Schmitt, A. (2009, January 26\u201329). Services to the field: An approach for resource constrained sensor\/actor networks. Proceedings of the IEEE International Conference on Advanced Information Networking and Applications Workshops, Bradford, UK.","DOI":"10.1109\/WAINA.2009.20"},{"key":"ref_17","first-page":"1356","article-title":"Modeling and verifying services of Internet of Things based on timed automata","volume":"24","author":"Li","year":"2011","journal-title":"Chin. J. Comput."},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Li, L., Jin, Z., and Li, G. (2012, January 24\u201329). Modeling and analyzing the reliability and cost of service composition in the IoT: A probabilistic approach. Proceedings of the IEEE International Conference on Web Services, Honolulu, HI, USA.","DOI":"10.1109\/ICWS.2012.25"},{"key":"ref_19","first-page":"1198","article-title":"Environment based modeling approach for services in the Internet of Things","volume":"43","author":"Li","year":"2013","journal-title":"Sci. China Inf. Sci."},{"key":"ref_20","first-page":"2663","article-title":"Modeling and verifying services of Internet of Things based on hybrid system methodology","volume":"34","author":"Lin","year":"2013","journal-title":"J. Chin. Comput. Syst."},{"key":"ref_21","unstructured":"Sommer, S., Scholz, A., Buckl, C., Kemper, A., Knoll, A., Heuer, J., and Schmitt, A. (2009, January 1\u20133). Towards the Internet of Things: Integration of web services and field level devices. Proceedings of the International Workshop on the Future Internet of Things and Services-Embedded Web Services for Pervasive Devices, Berlin, Germany."},{"key":"ref_22","unstructured":"De, S., Barnaghi, P., Bauer, M., and Meissner, S. (2011, January 18\u201321). Service modeling for the Internet of Things. Proceedings of the Federated Conference on Computer Science and Information Systems, Szczecin, Poland."},{"key":"ref_23","doi-asserted-by":"crossref","first-page":"22039","DOI":"10.3390\/s141122039","article-title":"IoT-based user-driven service modeling environment for a smart space management system","volume":"14","author":"Choi","year":"2014","journal-title":"Sensors"},{"key":"ref_24","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1504\/IJES.2016.076110","article-title":"Lightweight semantic service modeling for IoT: An environment-based approach","volume":"8","author":"Wei","year":"2016","journal-title":"Int. J. Embed. Syst."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Ko, I.Y., Ko, H.G., Molina, A.J., and Kwon, J.H. (2016). SoIoT: Toward A user-centric IoT-based service framework. ACM Trans. Int. Technol.","DOI":"10.1145\/2835492"},{"key":"ref_26","unstructured":"Alonso, G., Casati, F., Kuno, H., and Machiraju, V. (2010). Springer."},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"281","DOI":"10.14257\/ijmue.2014.9.2.28","article-title":"Petri net based semantic web service composition","volume":"9","author":"Marakhimov","year":"2014","journal-title":"Int. J. Multimedia Ubiquitous Eng."},{"key":"ref_28","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.entcs.2005.11.005","article-title":"An overview of semantic web services composition approaches","volume":"146","author":"Charif","year":"2006","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_29","unstructured":"Aggarwal, R., Verma, K., Miller, J., and Milnor, W. (2004, January 15\u201318). Dynamic driven web service composition in meteor-s. Proceedings of the 2004 IEEE International Conference on Services Computing, Shanghai, China."},{"key":"ref_30","unstructured":"Jaeger, M.C., Rojec-Goldmann, G., and Muhl, G. (September, January 20\u2013). QoS aggregation for web service composition using workflow patterns. Proceedings of the 2004 8th IEEE International Enterprise Distributed Object Computing Conference, Monterey, CA, USA."},{"key":"ref_31","first-page":"694","article-title":"An approach to business-user-oriented larger-granularity service composition","volume":"28","author":"Hu","year":"2005","journal-title":"Chin. J. Comput."},{"key":"ref_32","unstructured":"Chun, S.A., Atluri, V., and Adam, N.R. (2002, January 2\u20136). Domain knowledge-based automatic workflow generation. Proceedings of the 13th DEXA 2002 Aix-en-Provence International Conference, Aix-en-Provence, France."},{"key":"ref_33","doi-asserted-by":"crossref","unstructured":"Fu, P., Peng, Q., and Hu, X. (2015, January 6\u20138). A web service composition system based on semantic parsing. Proceedings of the 2015 19th IEEE International Conference on Computer Supported Cooperative Work in Design (CSCWD), Calabria, Italy.","DOI":"10.1109\/CSCWD.2015.7231020"},{"key":"ref_34","unstructured":"Ramasamy, R.K., Chua, F.F., and Haw, S.C. (2015). Advanced Computer and Communication Engineering Technology, Springer International Publishing."},{"key":"ref_35","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","article-title":"SHOP2: An HTN planning system","volume":"20","author":"Nau","year":"2003","journal-title":"J. Artif. Intell. Res."},{"key":"ref_36","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.websem.2004.06.005","article-title":"HTN planning for Web service composition using SHOP2","volume":"1","author":"Sirin","year":"2015","journal-title":"Web Semant. Sci. Serv. Agents World Wide Web"},{"key":"ref_37","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J.A., and Nau, D.S. (2003). The Semantic Web-ISWC 2003, Springer."},{"key":"ref_38","unstructured":"Mcilraith, S., and Son, T.C. (2002, January 22\u201325). Adapting golog for composition of semantic web services. Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France."},{"key":"ref_39","doi-asserted-by":"crossref","unstructured":"Weise, T., Bleul, S., Comes, D., and Geihs, K. (2008, January 8\u201313). Different approaches to semantic web service composition. Proceedings of the 3rd International Conference onInternational Conference on Internet and Web Applications and Services (ICIW \u201908), Athens, Greece.","DOI":"10.1109\/ICIW.2008.32"},{"key":"ref_40","unstructured":"Liu, J., Fan, C., and Gu, N. (2005, January 11\u201315). Web services automatic composition with minimal execution price. Proceedings of the 2005 IEEE International Conference on Web Services, Orlando, FL, USA."},{"key":"ref_41","first-page":"635","article-title":"Describing and verifying web service using Pi-calculaus","volume":"28","author":"Liao","year":"2005","journal-title":"Chin. J. Comput."},{"key":"ref_42","first-page":"69","article-title":"A Pi-calculus based formal model for BPEL4WS web service composition","volume":"34","author":"Gu","year":"2007","journal-title":"Chin. J. Comput."},{"key":"ref_43","doi-asserted-by":"crossref","unstructured":"Jia, Z., and Xing, X. (2015, January 18\u201320). Compatibility verification of web service composition based on Pi-calculus. Proceedings of the Joint International, Mechanical, Electronic and Information Technology Conference, Chongqing, China.","DOI":"10.2991\/jimet-15.2015.45"},{"key":"ref_44","unstructured":"Han, S.M., Pang, U.C., Choe, H.C., and Hwang, C.J. Using Pi-calculus to model dynamic web services composition based on the authority model. Available online: http:\/\/arxiv.org\/abs\/1512.04653."},{"key":"ref_45","unstructured":"Reisig, W. (2015). Petri Nets: An Introduction, Springer."},{"key":"ref_46","doi-asserted-by":"crossref","first-page":"643","DOI":"10.1360\/crad20070414","article-title":"Agent-based automatic composition of semantic web services","volume":"44","author":"Qiu","year":"2007","journal-title":"J. Comput. Res. Dev."},{"key":"ref_47","first-page":"852","article-title":"Research on web service composition algorithm using description logic","volume":"12","author":"Wang","year":"2014","journal-title":"Telk. Indones. J. Electr. Eng."},{"key":"ref_48","doi-asserted-by":"crossref","unstructured":"Narayanan, S., and Mcilraith, S.A. (2002, January 7\u201311). Simulation, verification and automated composition of Web services. Proceedings of the 11th International Conference on World Wide Web, Honolulu, HI, USA.","DOI":"10.1145\/511446.511457"},{"key":"ref_49","unstructured":"Hamadi, R., and Benatallah, B. (2003, January 3\u20135). A Petri net-based model for Web service composition. Proceedings of the 14th Australasian Database Conference, Adelaide, Australia."},{"key":"ref_50","doi-asserted-by":"crossref","unstructured":"Sun, J., and Jiang, C. (2004). Web service Composition Based on BPWS-Net Content Computing, Springer.","DOI":"10.1007\/978-3-540-30483-8_37"},{"key":"ref_51","unstructured":"Zhang, J., Km, S.W., Chang, C.K., and Chung, J. (2004, January 6\u20139). WS-Net: A Petri-net based specification model for Web services. Proceedings of the 2004 Web Services, San Diego, CA, USA."},{"key":"ref_52","first-page":"2991","article-title":"A Petri Net-based semantic web service automatic composition method","volume":"18","author":"Tang","year":"2007","journal-title":"J. Softw."},{"key":"ref_53","doi-asserted-by":"crossref","first-page":"19200","DOI":"10.3390\/s141019200","article-title":"Distributed service-based approach for sensor data fusion in IoT environments","volume":"14","year":"2014","journal-title":"Sensors"},{"key":"ref_54","doi-asserted-by":"crossref","unstructured":"Barbierato, E., Iacono, M., and Marrone, S. (2012, January 9\u201312). PerfBPEL: A graph-based approach for the performance analysis of BPEL SOA applications. Proceedings of the 2012 6th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS), Cargese, France.","DOI":"10.4108\/valuetools.2012.250340"},{"key":"ref_55","unstructured":"Wu, X.C. (2011). Principles and Methods of Geographical Information System, Publishing House of Electronics Industry. [2nd ed.]."},{"key":"ref_56","unstructured":"Jensen, K. (2015). Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer."},{"key":"ref_57","first-page":"111","article-title":"Research on search service for physical entities in the Internet of Things","volume":"28","author":"Yu","year":"2012","journal-title":"Telecommun. Sci."},{"key":"ref_58","doi-asserted-by":"crossref","first-page":"30","DOI":"10.3390\/info7020030","article-title":"Geospatially constrained workflow modeling and implementation","volume":"7","author":"Zhang","year":"2016","journal-title":"Information"},{"key":"ref_59","doi-asserted-by":"crossref","first-page":"193","DOI":"10.3724\/SP.J.1016.2010.00193","article-title":"Resource constrained web services","volume":"33","author":"Li","year":"2010","journal-title":"Chin. J. Comput."},{"key":"ref_60","first-page":"2007","article-title":"OWL-S: Semantic markup for Web services","volume":"22","author":"Martin","year":"2004","journal-title":"W3C Memb. Submiss."},{"key":"ref_61","unstructured":"Lieberman, J. OpenGIS Web Services Architecture. Open Geospatial Consortium, 2003. Available online: http:\/\/portal.opengeospatial.org\/files\/?artifact_id=13140."},{"key":"ref_62","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/MIC.2002.1067740","article-title":"QoS issues in Web services","volume":"6","author":"Menasce","year":"2002","journal-title":"IEEE Internet Comput."},{"key":"ref_63","first-page":"204","article-title":"A logical petri Net-based approach for web service cluster composition","volume":"38","author":"Wu","year":"2015","journal-title":"Chin. J. Comput."},{"key":"ref_64","first-page":"1076","article-title":"A method satisfying markov process of Web service composition under incomplete constrains","volume":"29","author":"Chen","year":"2006","journal-title":"Chin. J. Comput."},{"key":"ref_65","doi-asserted-by":"crossref","first-page":"1953","DOI":"10.3724\/SP.J.1016.2013.01953","article-title":"A stochastic Petri Net-based performance bottleneck location strategy for web services composition","volume":"36","author":"He","year":"2013","journal-title":"Chin. J. Comput."},{"key":"ref_66","unstructured":"UML Revision Taskforce OMG UML Specification v. 2.5. Object Management Group, 2015. Available online: http:\/\/www.omg.org."},{"key":"ref_67","unstructured":"Eshuis, R., and Wieringa, R. (2002). Petri Net Technology for Communication-Based Systems, Springer."}],"container-title":["Sensors"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/1424-8220\/16\/10\/1571\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T19:31:45Z","timestamp":1760211105000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/1424-8220\/16\/10\/1571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,25]]},"references-count":67,"journal-issue":{"issue":"10","published-online":{"date-parts":[[2016,10]]}},"alternative-id":["s16101571"],"URL":"https:\/\/doi.org\/10.3390\/s16101571","relation":{},"ISSN":["1424-8220"],"issn-type":[{"value":"1424-8220","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9,25]]}}}