Formal Interoperability Models of Sensor Networks Based on Logical Workflow Nets
作者： Wei Liu , Mao Lin , Chun Yan
DOI: 10.1142/S0218194019400035
关键词:
摘要: With the advent of Internet things and cyber physical system, sensor networks become more important. To better accomplish a task, multiple sensors or even need ...
sci-hub.se 参考文章(31)
Ekkart Kindler, The ePNK: an extensible petri net tool for PNML applications and theory of petri nets. pp. 318- 327 ,(2011) , 10.1007/978-3-642-21834-7_18
Junli Wang, Changjun Jiang, Zhijun Ding, An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service. Journal of Information Science and Engineering. ,vol. 24, pp. 1309- 1328 ,(2008)
Wil M. P. van der Aalst, Mathias Weske, Reflections on a Decade of Interorganizational Workflow Research Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE, 2013, ISBN 9783642369254, págs. 307-314. pp. 307- 313 ,(2013) , 10.1007/978-3-642-36926-1_24
Justin Bradley, Ella Atkins, Optimization and Control of Cyber-Physical Vehicle Systems. Sensors. ,vol. 15, pp. 23020- 23049 ,(2015) , 10.3390/S150923020
Jianwei Yin, Xingjian Lu, Calton Pu, Zhaohui Wu, Hanwei Chen, JTangCSB: A Cloud Service Bus for Cloud and Enterprise Application Integration IEEE Internet Computing. ,vol. 19, pp. 35- 43 ,(2015) , 10.1109/MIC.2014.62
Juan Xu, Changjun Jiang, Aihuang Guo, Yongfa Hong, Shu Li, Xingzhen Bai, Lower bounds on lifetime of ultra wide band wireless sensor networks Wireless Networks. ,vol. 16, pp. 1739- 1748 ,(2010) , 10.1007/S11276-009-0225-7
Y.Y. Du, B.Q. Guo, logic petri nets and equivalency Information Technology Journal. ,vol. 8, pp. 95- 100 ,(2009) , 10.3923/ITJ.2009.95.100
Edward Lee, The past, present and future of cyber-physical systems: a focus on models. Sensors. ,vol. 15, pp. 4837- 4869 ,(2015) , 10.3390/S150304837
Wei Liu, YuYue Du, Chun Yan, Soundness preservation in composed logical time workflow nets Enterprise Information Systems. ,vol. 6, pp. 95- 113 ,(2012) , 10.1080/17517575.2011.617472
Yuyu Yin, Shuiguang Deng, Analysing and determining substitutability of different granularity Web services International Journal of Computer Mathematics. ,vol. 90, pp. 2201- 2220 ,(2013) , 10.1080/00207160.2012.748902