A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
A Logic Petri Net-Based Repair Method of Process Models with Incomplete Choice and Concurrent Structures
2020
Computing and informatics
Preserved Fulltext
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]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2106.15398v1 fatcat:3kgxqlzwefc6xabtm7pcsuwzn4
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Data & Knowledge Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Robotics and Automation in Construction
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Journal of Computer Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Petri Net, Theory and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1998
Journal of Circuits, Systems and Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2007
2007 Winter Simulation Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2020
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
1996
Reliability Engineering & System Safety
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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