Business Process Models for Analysis of Industrial IoT Applications-Reference-Cited by-同舟云学术

Business Process Models for Analysis of Industrial IoT Applications

Published:2021-11-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th International Conference on the Internet of Things
language:
Short-container-title:

Author:

Krishna Ajay¹,Salaün Gwen²

Affiliation:

1. Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, France

2. Univ. Grenoble Alpes, CNRS, Grenoble INP, Inria, LIG, France

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3494322.3494336

Reference29 articles.

1. Thomas Allweyer . 2016. BPMN 2.0 : Introduction to the standard for business process modeling . BoD–Books on Demand. Thomas Allweyer. 2016. BPMN 2.0: Introduction to the standard for business process modeling. BoD–Books on Demand.

2. Unified Functional Safety Assessment of Industrial Automation Systems

3. Enabling an automation architecture of CPPs based on UML combined with IEC-61499

4. Manuel Clavel , Francisco Durán , Steven Eker , Patrick Lincoln , Narciso Martí-Oliet , José Meseguer , and Carolyn Talcott . 2007. All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Vol. 4350 . Springer . Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, and Carolyn Talcott. 2007. All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Vol. 4350. Springer.

5. Jerker Delsing . 2017. IoT automation: Arrowhead framework . CRC Press . Jerker Delsing. 2017. IoT automation: Arrowhead framework. CRC Press.

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. IoT Modeling and Verification: From the CaIT Calculus to UPPAAL;IEICE Transactions on Information and Systems;2023-09-01

2. Probabilistic Analysis of Industrial IoT Applications;Proceedings of the 12th International Conference on the Internet of Things;2022-11-07