362 Hits in 5.7 sec

Discovering workflow nets using integer linear programming

S. J. van Zelst, B. F. van Dongen, W. M. P. van der Aalst, H. M. W. Verbeek
2017 Computing  
In this paper we present an ILP-based process discovery approach, based on region theory, that guarantees to discover relaxed sound workflow nets.  ...  We have extensively evaluated the technique using different event logs with different levels of exceptional behaviour.  ...  Discovering petri net places using integer linear programming In [34] an integer linear programming (ILP)-formulation [24] is presented which allows for finding places of a Petri net.  ... 
doi:10.1007/s00607-017-0582-5 fatcat:7n7tn5lkczg2vbigtzhoryvc2m

Discovery, Verification and Conformance of Workflows with Cancellation [chapter]

W. M. P. van der Aalst
2008 Lecture Notes in Computer Science  
Petri nets are frequently used for the modeling and analysis of workflows.  ...  This paper proposes to use reset workflow nets (RWF-nets) and discusses (1) the discovery of RWF-nets (i.e., extracting information from event logs to construct such models), (2) the verification of RWF-nets  ...  Since this approach uses integer linear programming as a basis, it is versatile and seems to be a good platform to add special types of arcs such as reset arcs, inhibitor arcs, etc.  ... 
doi:10.1007/978-3-540-87405-8_2 fatcat:k3yastvyabcmlm3qkazy5zcjoi

Cloud-Based Multi-Agent Cooperation for IoT Devices Using Workflow-Nets

Yehia Kotb, Ismaeel Al Ridhawi, Moayad Aloqaily, Thar Baker, Yaser Jararweh, Hissam Tawfik
2019 Journal of Grid Computing  
The operator shifts the problem defined as a set of workflow-nets into algebraic representations to provide a mechanism for solving the optimization problem mathematically.  ...  In this article, we propose a workflow-net based framework for agent cooperation to enable collaboration among fog computing devices and form a cooperative IoT service delivery system.  ...  If WF net k = WF net i ⊗ WF net j , then the following properties must apply: 1. WF net i and WF net j are sound, 2. ∀ ζ ∈ WF net i ⊗ WF net j , ζ is sound, and 3. •i k = ∅, o k • = ∅.  ... 
doi:10.1007/s10723-019-09485-z fatcat:torpp2gvebakdkgzmublrpcq7a

Control-Flow-Based Methods to Support the Development of Sound Workflows

Thomas M. Prinz, Course Evaluation Center, Friedrich Schiller University Jena, Am Steiger 3, Haus 1, 07743 Jena, Germany, Wolfram Amme, Research group Program Analysis and Optimization, Friedrich Schiller University Jena, Ernst-Abbe-Platz 2, 07743 Jena, Germany
2021 Complex Systems Informatics and Modeling Quarterly  
Their efficiency and quality is evaluated using a benchmark of over thousand real-world workflows together with two leading state-of-the-art approaches.  ...  Workflows describe sequences of tasks to achieve goals. These sequences can contain decisions, loops, and parallelisations and are, therefore, similar to computer programs.  ...  Van der Aalst defined the soundness on special Petri nets with exactly one start and exactly one end place -workflow nets.  ... 
doi:10.7250/csimq.2021-27.01 fatcat:cshdkbooovfbhluyguqiws7q2m

Optimization of media processing workflows with adaptive operator behaviors

Lina Peng, K. Selçuk Candan, Christopher Mayer, Karamvir S. Chatha, Kyung Dong Ryu
2007 Multimedia tools and applications  
In this paper, we further extend our attention to multi-sensor media processing workflow scenarios.  ...  In this paper, we present the qStream media workflow architecture that processes, filters, and fuses sensory inputs and actuates responses in real-time.  ...  An optimal solution to this problem requires expensive non-linear mixed-integer optimization.  ... 
doi:10.1007/s11042-007-0105-z fatcat:lcrj2efzefcjfdepk5w6q2zbly

Efficient Process Model Discovery Using Maximal Pattern Mining [chapter]

Veronica Liesaputra, Sira Yongchareon, Sivadon Chaisiri
2015 Lecture Notes in Computer Science  
Furthermore, by using the MPM, the discovered models are generally much easier to understand.  ...  In particular, several proposed techniques and algorithms have been proposed to discover and construct process models from workflow execution logs (i.e., event logs).  ...  [26] proposed a discovery technique using Integer Linear Programming (ILP) based on the theory of regions. Van der Aalst et al.  ... 
doi:10.1007/978-3-319-23063-4_29 fatcat:6nl6tmm5m5czvi6hcveailjtxq

Performance of an automated process model discovery – the logistics process of a manufacturing company

Michal Halaška, Roman Šperka
2019 Engineering Management in Production and Services  
The hybrid simulation is modelled using the BPMN notation using BIMP, the business process modelling software, to acquire data in the form of event logs.  ...  Based on the evaluation of benchmark results received using the chosen discovery algorithms, it is evident that the discovery algorithms have a better overall performance using more extensive event logs  ...  linear programming (ILP).  ... 
doi:10.2478/emj-2019-0014 fatcat:htkul6cnmjgtlng6erlzmevd2e

Variants of the Language Based Synthesis Problem for Petri Nets

Sebastian Mauser, Robert Lorenz
2009 2009 Ninth International Conference on Application of Concurrency to System Design  
The application of synthesis of Petri nets from languages for practical problems has recently attracted increasing attention.  ...  However, the classical synthesis problems are often not appropriate in realistic settings, because usually it is not asked for plain-vanilla Petri net synthesis, but specific additional requirements have  ...  The arising integer linear programming problems can be solved by standard integer linear programming solvers.  ... 
doi:10.1109/acsd.2009.19 dblp:conf/acsd/MauserL09 fatcat:u7foap2buzba3i4x5cmb5vtovm

Discovering Petri Nets from Event Logs [chapter]

Wil M. P. van der Aalst, Boudewijn F. van Dongen
2013 Lecture Notes in Computer Science  
The goal is to introduce several approaches to discover Petri nets from event data (notably the α-algorithm, state-based regions, and language-based regions).  ...  The goal of process mining is to use such event data to extract process related information, e.g., to automatically discover a process model by observing events recorded by some system or to check the  ...  Linear Programming (ILP) problem.  ... 
doi:10.1007/978-3-642-38143-0_10 fatcat:mdpeun735naizjky56ih6gsvwi

Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007

Kurt Jensen
2007 DAIMI Report Series  
This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007.  ...  Acknowledgements We would like to thank Lisa Wells and Kurt Jensen for their support in using CPN Tools. Also, we would like to thank Michael Westergaard for his support in using the BRITnEY tool.  ...  We are also very grateful to the anonymous reviewers for their constructive comments that helped us to improve the paper.  ... 
doi:10.7146/dpb.v36i584.7197 fatcat:fmzu5qetpnd6dpflqsuggbt7mm

Encoding process discovery problems in SMT

Marc Solé, Josep Carmona
2016 Journal of Software and Systems Modeling  
By encoding the problem into the logical/arithmetic domains and using modern SMT engines, it is shown how two separate families of process models can be discovered.  ...  A key challenge in process mining is discovery: given a log, derive a formal process model that can be used afterwards for a formal analysis.  ...  However, this technique is guided towards a particular class of Petri nets (workflow and sound), describing a very restricted type of behaviors.  ... 
doi:10.1007/s10270-016-0536-y fatcat:q2a3hssxwzafbdp4mdo2fym3by

Online Process Monitoring Using Incremental State-Space Expansion: An Exact Algorithm [article]

Daniel Schuster, Sebastiaan J. van Zelst
2020 arXiv   pre-print
Both heuristics can be formulated as an Integer Linear Program (ILP).  ...  In this paper, we focus on sound Workflow nets [1] . A Workflow net (WF-net) is a subclass of Petri nets [20] .  ... 
arXiv:2002.05945v3 fatcat:mh7hgipzgnavxg5d2ojsax2rpu

Verifying Quantized Neural Networks using SMT-Based Model Checking [article]

Luiz Sena, Xidan Song, Erickson Alves, Iury Bessa, Edoardo Manino, Lucas Cordeiro, Eddie de Lima Filho
2021 arXiv   pre-print
More specifically, we propose several ANN-related optimizations for SMC, including invariant inference via interval analysis, slicing, expression simplifications, and discretization of non-linear activation  ...  Here, we develop and evaluate a novel symbolic verification framework using software model checking (SMC) and satisfiability modulo theories (SMT) to check for vulnerabilities in ANNs.  ...  First, symbolic linear relaxation combines symbolic interval analysis and linear relaxation to create an efficient propagation method for tighter estimations.  ... 
arXiv:2106.05997v2 fatcat:7rzp3pbvgzg3nke4coejvfct6y

Auspice: Automatic Service Planning in Cloud/Grid Environments [chapter]

David Chiu, Gagan Agrawal
2011 Grids, Clouds and Virtualization  
A focus on cache elasticity is reported, and to this end, we have developed methods to scale and relax resource provisioning for cooperating data caches.  ...  users to design and manage workflow plans.  ...  , T GBA =        O(1), if ||n|| + 1 < n O(( n /2)T net ), otherwise Although T net is neither uniform nor trivial in practice, our analysis is sound as actual record sizes would likely increase  ... 
doi:10.1007/978-0-85729-049-6_5 fatcat:prikikmcpfdx3ps7554efsh4ti

D2.2 The COLLABS Level-3 Security Package for Secure Digital Supply Networks: 1st complete version

Panagiotis Rizomiliotis, Konstantinos Tserpes, Aikaterini Triakosia
2021 Zenodo  
T2.3 (Machine learning-based cognitive security framework), T2.4 (Statistical Analytics and Machine- / Deep-Learning on shared data), T2.5 (Distributed anomaly detection for Industrial IoT) and T2.6 (Workflow-driven  ...  This step also includes simulation, validation, and verification of Petri Nets workflow properties such as deadlock freeness and soundness.  ...  developed using the FLASK 10 framework.  The WDSF workflow engine is realized using SNAKES 11 which is a Python library used to define and execute Petri Nets-based workflows.  As underlying distributed  ... 
doi:10.5281/zenodo.5667012 fatcat:xgzhqfeq6nbwte4h256pntlkau
« Previous Showing results 1 — 15 out of 362 results