Data flow issues and BPMN mapping to Petri Net: Road map

2015 ◽  
pp. 31-36
Keyword(s):  
Petri Net ◽  
Data Flow ◽  
Road Map

scholarly journals Petri Net Based Data-Flow Error Detection and Correction Strategy for Business Processes

IEEE Access ◽  
2020 ◽  
Vol 8 ◽  
pp. 43265-43276 ◽  
Author(s):  
Cong Liu ◽  
Qingtian Zeng ◽  
Hua Duan ◽  
Lei Wang ◽  
Jie Tan ◽  
...  
Keyword(s):  
Petri Net ◽  
Error Detection ◽  
Business Processes ◽  
Data Flow ◽  
Error Detection And Correction

scholarly journals Meso-FE modelling of textile composites: Road map, data flow and algorithms

2007 ◽  
Vol 67 (9) ◽  
pp. 1870-1891 ◽  
Author(s):  
S LOMOV ◽  
D IVANOV ◽  
I VERPOEST ◽  
M ZAKO ◽  
T KURASHIKI ◽  
...  
Keyword(s):  
Data Flow ◽  
Textile Composites ◽  
Fe Modelling ◽  
Road Map ◽  
Map Data

scholarly journals DICER 2.0: A New Model Checker for Data-Flow Errors of Concurrent Software Systems

Mathematics ◽  
2021 ◽  
Vol 9 (9) ◽  
pp. 966
Author(s):  
Dongming Xiang ◽  
Fang Zhao ◽  
Yaping Liu
Keyword(s):  
Petri Net ◽  
Data Flow ◽  
Computing Methods ◽  
Software Systems ◽  
Model Checker ◽  
Concurrent Software ◽  
New Model ◽  
Data Flows ◽  
System Properties ◽  
Analyze Data

Petri nets are widely used to model concurrent software systems. Currently, there are many different kinds of Petri net tools that can analyze system properties such as deadlocks, reachability and liveness. However, most tools are not suitable to analyze data-flow errors of concurrent systems because they do not formalize data information and lack efficient computing methods for analyzing data-flows. Especially when a concurrent system has so many concurrent data operations, these Petri net tools easily suffer from the state–space explosion problem and pseudo-states. To alleviate these problems, we develop a new model checker DICER 2.0. By using this tool, we can model the control-flows and data-flows of concurrent software systems. Moreover, the errors of data inconsistency can be detected based on the unfolding techniques, and some model-checking can be done via the guard-driven reachability graph (GRG). Furthermore, some case studies and experiments are done to show the effectiveness and advantage of our tool.

Metrics: Road Map To Medical Home?

2007 ◽  
Vol 41 (12) ◽  
pp. 1-8
Author(s):  
KERRI WACHTER
Keyword(s):  
Medical Home ◽  
Road Map

Structuring Situational Information

2015 ◽  
Vol 20 (3) ◽  
pp. 176-189 ◽  
Author(s):  
John F. Rauthmann
Keyword(s):  
Statistical Analyses ◽  
Current Work ◽  
Common Language ◽  
Road Map ◽  
Taxonomic Approach ◽  
Situational Information

Abstract. There is as yet no consensually agreed-upon situational taxonomy. The current work addresses this issue and reviews extant taxonomic approaches by highlighting a “road map” of six research stations that lead to the observed diversity in taxonomies: (1) theoretical and conceptual guidelines, (2) the “type” of situational information studied, (3) the general taxonomic approach taken, (4) the generation of situation pools, (5) the assessment and rating of situational information, and (6) the statistical analyses of situation data. Current situational taxonomies are difficult to integrate because they follow different paths along these six stations. Some suggestions are given on how to spur integrated taxonomies toward a unified psychology of situations that speaks a common language.

Sign in / Sign up

Export Citation Format

Share Document