Formal verification of complex business processes based on high-level Petri nets
Abstract The Business Process Modeling Notation (BPMN) has been widely used as a tool
for business process modeling. However, BPMN suffers from a lack of standard formal …
for business process modeling. However, BPMN suffers from a lack of standard formal …
Specification and verification of complex business processes-a high-level petri net-based approach
Abstract The Business Process Modeling Notation (BPMN) has been widely used as a tool
for business process modeling. However, BPMN suffers from a lack of standard formal …
for business process modeling. However, BPMN suffers from a lack of standard formal …
DevOps workflow verification and duration prediction using non‐Markovian stochastic Petri nets
W Ben Mesmia, M Escheikh… - Journal of Software …, 2021 - Wiley Online Library
In this paper, we provide a non‐Markovian Stochastic Petri Net (SPN) model for D ev O
psworkflow specification, and we determine how business processes are carried out. After …
psworkflow specification, and we determine how business processes are carried out. After …
Hierarchy modeling and formal verification of emergency treatment processes
F Lu, Q Zeng, Y Bao, H Duan - IEEE Transactions on Systems …, 2013 - ieeexplore.ieee.org
Petri nets are suitable for modeling and analysis of business processes. However, the lack
of data concepts often makes Petri-net-based models excessively large and difficult to …
of data concepts often makes Petri-net-based models excessively large and difficult to …
[HTML][HTML] FMS-Workflow Modeling Based on P-Timed Stochastic Petri Net
WB Mesmia, K Barkaoui, M Escheikh - Journal of Software Engineering …, 2023 - scirp.org
In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to
specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System …
specify, verify, and analyze a business process (BP) of a Flexible Manufacturing System …
[HTML][HTML] Towards modelling and analyzing timed workflow systems with complex synchronizations
A Hamdani, A Abdelli - Journal of King Saud University-Computer and …, 2020 - Elsevier
Nowadays, workflow systems are becoming very complex, involving time constraints,
priorities on tasks as well as elaborated synchronization schemes. As a result, the …
priorities on tasks as well as elaborated synchronization schemes. As a result, the …
Decidability results for soundness criteria of resource-constrained workflow nets
FL Tiplea, C Bocaneala - … and Cybernetics-Part A: Systems and …, 2011 - ieeexplore.ieee.org
This paper focuses on the decidability status of various forms of behavioral correctness
criteria for resource-constrained workflow (RCWF) nets (Petri net models of RCWF systems) …
criteria for resource-constrained workflow (RCWF) nets (Petri net models of RCWF systems) …
Modelling and analysis of flexible healthcare processes based on algebraic and recursive petri nets
A Hicheur, A Ben Dhieb, K Barkaoui - … 2012, Paris, France, August 27-28 …, 2013 - Springer
Healthcare involves distributed and interacting processes which have to be handled in a
flexible way due to the variety of individual patient state of health and different kinds of …
flexible way due to the variety of individual patient state of health and different kinds of …
An enhanced rewriting logic based semantics for high-level petri nets
Petri nets and their numerous extensions (or subclasses) are one of the popular traditional
formalisms for the specification and verification of concurrent systems. Furthermore, due to …
formalisms for the specification and verification of concurrent systems. Furthermore, due to …
An intelligent agent-based industrial IoT framework for time-critical data stream processing
Abstract The Industrial Internet of Things (IIoT) intends to speed up digital manufacturing
transformation. As a crucial role, Industrial IoT aims to improve the performance and …
transformation. As a crucial role, Industrial IoT aims to improve the performance and …