Filters








1,532 Hits in 8.9 sec

A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures

Yuanxiu Teng, Liang Qi, Yuyue Du
2020 Computing and informatics  
This paper presents a repair method of process models with incomplete choice and concurrent structures via logic Petri nets.  ...  The model repair method is proposed for models with incomplete choice and concurrent structures via logic Petri nets according to different deviation positions.  ...  The model repair method is proposed for models with incomplete choice and concurrent structures via logic Petri nets. 3.  ... 
doi:10.31577/cai_2020_1-2_264 fatcat:xa4kzprh55dldfnbgxusjlhtja

Automated Repair of Process Models Using Non-local Constraints [chapter]

Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
2020 Lecture Notes in Computer Science  
In this paper, we propose a novel approach for the enhancement of free-choice process models, by adding non-free-choice constructs discovered a-posteriori via region-based techniques.  ...  The approach has been implemented and tested on both synthetic and real-life datasets. The results show its effectiveness in repairing process models discovered from event logs.  ...  This work was partly supported by the Australian Research Council Discovery Project DP180102839, and by MINECO and FEDER funds under grant TIN2017-86727-C2-1-R.  ... 
doi:10.1007/978-3-030-51831-8_14 fatcat:azn22n7tf5be7gzbz2ljxa67ta

Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory [article]

Anna Kalenkova, Josep Carmona, Artem Polyvyanyy, Marcello La Rosa
2021 arXiv   pre-print
In this paper, we propose a novel approach for enhancing free-choice process models by adding non-free-choice constructs discovered a-posteriori via region-based techniques.  ...  State-of-the-art process discovery methods construct free-choice process models from event logs. Consequently, the constructed models do not take into account indirect dependencies between events.  ...  Comparing to the other regionbased techniques, our repair approach achieves two goals: it constructs structured process models (with additional constraints) in a feasible time.  ... 
arXiv:2106.15398v2 fatcat:esz7gj22dbdproegtvlwio4h2y

Stochastic Dependability Analysis of System Architecture Based on UML Models [chapter]

István Majzik, András Pataricza, Andrea Bondavalli
2003 Lecture Notes in Computer Science  
We show how structural UML diagrams can be processed to filter out the dependability related information and how a system-wide dependability model is constructed.  ...  The work in this paper 1 is devoted to the definition of a dependability modeling and model based evaluation approach based on UML models.  ...  The fault tree representing logic conditions (as a static snapshot) can be integrated with the fault activation and repair subnets by using the Petri net places E, F and H representing the state of the  ... 
doi:10.1007/3-540-45177-3_10 fatcat:xe5uoc5ghfbtfgmqiusveddvfi

Analysis on demand: Instantaneous soundness checking of industrial business process models

Dirk Fahland, Cédric Favre, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
2011 Data & Knowledge Engineering  
We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker  ...  We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications, and other domains.  ...  Acknowledgements We thank Eric Verbeek for his substantial support in providing a Woflan version for our experiments. Dirk Fahland is funded by the DFG-Graduiertenkolleg "METRIK" (1324).  ... 
doi:10.1016/j.datak.2011.01.004 fatcat:ayo5ajmnnrd5fctbqu3nonpmaq

Risk and Reliability Analysis of Flexible Construction Robotized Systems [chapter]

Calin Ciufudean
2008 Robotics and Automation in Construction  
Thinking of risk and reliability analysis of flexible construction robotized systems (FCRS's) from a probabilistic perspective, we come to the conclusion that probability is a measure of expressing uncertainty  ...  about the process seen through the point of view of the assessor (i.e. the controller of a process), and based on some background information and knowledge that we have at the time we quantify our uncertainty  ...  We first propose a systematic approach to model and to verify the space size of the logic controllers using Petri nets.  ... 
doi:10.5772/5853 fatcat:d4jajobaqvhc5fewmjdtqxvpxy

Process Modelling from Insurance

P. V.Kumaraguru, Dr.S. P. Rajagopalan
2012 International Journal of Computer Applications  
This paper has made an attempt to convert the event logs of the insurance process in to process model using petri net.  ...  Converting the mysterious mind process in to a most tangible, structured and understandable, process model is not only a great challenge of the day but also the need of the hour for many industries.  ...  Petri Net model consist of two parts (1) The net structure that represents the static part of the system and (2) A marking that represents the overall state on the structure.  ... 
doi:10.5120/4613-6835 fatcat:lnpxfigkafdr5fmlx4lnamzoge

Instantaneous Soundness Checking of Industrial Business Process Models [chapter]

Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, Karsten Wolf
2009 Lecture Notes in Computer Science  
We investigated these models for soundness (absence of deadlock and lack of synchronization) using three different approaches: the business process verification tool Woflan, the Petri net model checker  ...  We report on a case study on control-flow analysis of business process models. We checked 735 industrial business process models from financial services, telecommunications and other domains.  ...  Acknowledgements We would like to thank Eric Verbeek for his substantial support in providing a Woflan version for our experiments.  ... 
doi:10.1007/978-3-642-03848-8_19 fatcat:yznwuhgnzvatzp5bqlaxjeyvki

Error Recovery in Production Systems: A Petri Net Based Intelligent System Approach [chapter]

Nicholas G.
2008 Petri Net, Theory and Applications  
The approach taken in this research embedded a Petri net model in a neural network structure and was termed Petri Neural Nets (PNN).  ...  In our approach, the workstation agent itself constructs a Petri Net model of the sequence of coordinated activities for all current jobs using a multi-level multi-layer Petri Net approach [14] .  ...  The intuitively appealing graphical notation makes Petri nets the model of choice in many applications.  ... 
doi:10.5772/5323 fatcat:hm7ottkc3fd2ra5osiekpgr7yu

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

W. M. P. VAN DER AALST
1998 Journal of Circuits, Systems and Computers  
This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes.  ...  On the one hand, Petri nets can be used as a design language for the specification of complex workflows.  ...  Modeling a workflow process definition in terms of a Petri net is rather straightforward: tasks are modeled by transitions, conditions are modeled by places, and cases are modeled by tokens.  ... 
doi:10.1142/s0218126698000043 fatcat:7nrbbmjbufegheue4iglt6kgbe

Guiding principles for conceptual model creation in manufacturing simulation

Durk-Jouke Van der Zee, Jack G.A.J. Van der Vorst
2007 2007 Winter Simulation Conference  
The notion of such principles is helpful in judging techniques and tools for their conceptual richness and completeness, in educating simulation engineers and as a basis for a more structured approach  ...  Conceptual models serve as abstractions of user's perceptions of a system. The choice and detailing of these abstractions are key to model use and understanding for analyst and project stakeholders.  ...  Here a Petri Nets formalism is used for modeling the job shop.  ... 
doi:10.1109/wsc.2007.4419673 dblp:conf/wsc/ZeeV07 fatcat:uwx736qfkzfptmeurvb56zip54

Correctness-Preserving Configuration of Business Process Models [chapter]

Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling
2008 Lecture Notes in Computer Science  
This paper proposes a foundation for configuring reference process models incrementally and in a way that ensures the correctness of the individualized process models, both with respect to syntax and behavioral  ...  Reference process models capture recurrent business operations in a given domain such as procurement or logistics.  ...  A Petri net satisfying these conditions represents a structurally correct process model and is known as a workflow net [1] . Formally: Definition 2 (Workflow net).  ... 
doi:10.1007/978-3-540-78743-3_4 fatcat:6c23p7rqp5dttet5pdcuswznba

The relationship between workflow graphs and free-choice workflow nets

Cédric Favre, Dirk Fahland, Hagen Völzer
2015 Information Systems  
Workflow graphs represent the main control-flow constructs of industrial process modeling languages such as BPMN, EPC and UML Activity diagrams, whereas free-choice workflow nets is a well understood class  ...  This shows a limitation of translating inclusive logic into free-choice nets and illustrates also a difficulty of translating inclusive logic into general Petri nets.  ...  Results of various Petri-net based techniques such as process discovery or process model repair could be easier translated to industrial languages.  ... 
doi:10.1016/j.is.2013.12.004 fatcat:qhxc3jv46zfe5eywmx7qvcny5i

Encoding Reversing Petri Nets in Answer Set Programming [chapter]

Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou, Kyriaki Psara
2020 Lecture Notes in Computer Science  
Reversing Petri nets (RPNs) have been proposed as a reversible approach to Petri nets, which allows the transitions of a net to be reversed.  ...  Specifically, we define how to model RPNs in Answer Set Programming (ASP), a declarative programming framework with competitive solvers.  ...  Its effectiveness is still to be verified as the approach is characterized by a blow-up in the state space during the translation to coloured Petri nets.  ... 
doi:10.1007/978-3-030-52482-1_17 fatcat:i6rhdi3wy5dura4wdvagoipk54

Stochastic Petri nets for the reliability analysis of communication network applications with alternate-routing

Meera Balakrishnan, Kishor S. Trivedi
1996 Reliability Engineering & System Safety  
We a d v ocate the use of stochastic reward nets (a variant of stochastic Petri nets) for the concise speci cation, automated generation and solution of alternate-routing protocols in networks.  ...  For simple cases, the reliability problem can be cast into fault-tree models and solved rapidly by means of known methods. For more complex scenarios, state space (Markov) models are required.  ...  Speci cation in a high-level Petri net language such as CSPL can be compiled into basic Petri net constructs.  ... 
doi:10.1016/0951-8320(95)00132-8 fatcat:w4ribivjwbagplxyofjdoepeg4
« Previous Showing results 1 — 15 out of 1,532 results