Imperative vs. Declarative Modeling of Industrial Process. The Case Study of the Longwall Shearer Operation
Process modeling is an important and necessary step for further analysis and monitoring of industrial processes. In the process modeling two main paradigms exist, namely imperative and declarative ones. In our work, we analyzed information potential of these model paradigms regarding to conformance...
Main Authors: | Edyta Brzychczy, Marcin Szpyrka, Jacek Korski, Grzegorz J. Nalepa |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2023-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/10138387/ |
Similar Items
-
Conformance Checking of a Longwall Shearer Operation Based on Low-Level Events
by: Marcin Szpyrka, et al.
Published: (2020-12-01) -
Modeling Workflow Systems Constrained by Inputs and Outputs − An Approach Based on Petri Nets
by: Zheng Changyou, et al.
Published: (2015-11-01) -
Using UML and Petri nets for visualization of business document flow
by: Ivana Rábová
Published: (2012-01-01) -
A Test Case Generation Method for Workflow Systems Based on I/O_WF_Net
by: Shanling Li, et al.
Published: (2023-01-01) -
Geospatially Constrained Workflow Modeling and Implementation
by: Feng Zhang, et al.
Published: (2016-05-01)