WoPeD Workflow Petri Net Designer
|
|
- Barnaby Washington
- 6 years ago
- Views:
Transcription
1 WoPeD Workflow Petri Net Designer Thomas Freytag University of Cooperative Education (Berufsakademie) Department of Computer Science D Karlsruhe Abstract. WoPeD (WoPeD Petrinet Designer) is a Java-based software tool being developed as an open-source project at the University of Cooperative Education (BA) Karlsruhe, Germany. WoPeD uses the Petri Net Markup Language (PNML) as interchange format and is able to edit, simulate and analyse workflow Petri nets (WF-nets) as originally introduced by Wil van der Aalst. Keywords. Workflow nets, Java, PNML. 1 Quick Overwiew Name WoPeD Homepage Availability Free (open-source) Platforms Independendent (Java) Installer for Windows, Linux and MacOS Net class Workflow Nets, Place/Transition Nets File format PNML Features Graphical editor, simulator, analysing interface 2 Short description WoPeD is a simple, easy-to-use, platform-independent software tool for editing, analysing and visualizing workflow Petri nets. WoPeD is a successor work of the original software product named PWFtool which has already been presented and published in [FrL03]. WoPeD is freely available via the project website [WoP05] and runs on all operating systems for which a Java VM is available, in particular on all Windows 32-bit systems, most Linux distributions and MacOS X. WoPeD is mainly a tool for educational and publishing purposes. It aims to support lecturers, researchers and students in the field of Petri nets and Workflow Management in their daily work. By relating strictly to the original van der Aalst workflow net notation [Aal98], WoPeD is a handy tool to create lecture notes, interactive teaching material or example case studies. WoPeD can visualize the structure and the dynamics of workflow nets and can provide a deeper understanding of the underlying concepts. WoPeD has even successfully served as a software front-end for small student assessment projects. WoPeD offers a comfortable, intuitive modelling interface, a graphical interactive token game simulator and supports several export interfaces, including JPEG graphics, standard PNML [WeK03] and TPN. By this, net models created with WoPeD can easily be exported and furtherly investigated by third-party tools like Woflan [Wof05] or Pipe [Pip05].
2 3 Functional features The development of WoPeD started in Mai 2003 as a part of a diploma thesis [Lan03] at the University of Cooperative Education (BA) Karlsruhe. In the meantime, a growing and very productive project group has been established, consisting of staff persons and students of the BA Karlsruhe, but also of former students, neighbour universities and software engineers from local industry partners. The first public beta was published in March 2005 via Sourceforge, a well-established development platform for open-source projects. The current version of WoPeD is mainly implementing an elaborate graphical modelling environment and supplies the following functional features: Full graphical editor WoPeD provides a powerful graphical editor for place/transition nets. A multiple-document interface allows to work concurrently with several open nets. Smart editing functions Many comfortable editing features, e. g. cut, paste and copy functions (also across editor windows) as well as undo and redo functions (with unlimited history) and group and ungroup functions to simplify changes. Editor windows can be scaling arbitrarily, allowing to produce high-quality net graphics. A very useful feature is "smart-naming" allowing on-the-fly net element name editing and "smart-arc-drawing", allowing to create nets with a minimum of mouse clicks. Support for Workflow Nets WoPeD can handle tradional place/transition nets, but also supports the extended "van der Aalst"-like workflow net syntax with special split and join transitions (AND, XOR) and four trigger types (resource, time, message). Animated token game simulation The current net can be executed by playing the token game interactively. PNML-compliant file format The standard file format of WoPeD is based on the widely-accepted PNML syntax, enabling to export or import net models to and from other Petri net tools which are using PNML. The workflow net extensions are transparently translated into plain PNML Export to multiple formats WoPeD supports several output formats to use the created models either graphically (JPEG) or textually (TPN) to perform soundness checks with Woflan. Additionally, a direct call interface to Woflan is provided. Fully-integrated user manual An interactive HTML user manual is included an can be used from inside WoPeD.
3 4 Screenshots The following screenshots provide a visual impression of the user interface of WoPeD and are all based on version (first public beta release from Mar 25 th, 2005). Graphical editor Context menu for net elements
4 Woflan calling interface Configuration dialog
5 Interactive token game Built-in user manual
6 5 Future plans WoPeD is a work-in-progress project and is planned to be extended significantly in the near future. Subprocesses It will be possible to split workflow nets into light-weight, handy subprocesses, being able to handle even large process models. This feature should also allow the embedding of one subprocess definition in more than one workflow processes, leading to a collection of reusable process modules. Workflow patterns Another challenge will be the support of workflow patterns as discussed in recent publications and most promisingly implemented in the YAWL project [Yaw05]. By supporting the underlying pattern concept and interfacing to the YAWL syntax, WoPeD could serve as an alternative front-end for editing and validating engine-executable workflow processes. Qualititive analysis Moreover, WoPeD will be extended to by an analysis engine, being able to perform soundness checks by using built-in algorithms or by calling additional third-party tools. One important issue will be the future perspective of PNML and the (hopefully) increasing number of specialized analysis tools being able to understand this format. WoPeD could be again a graphical front-end for visualizing analysis results. Quantitative analysis Another important future extension of WoPeD is to allow the creation of a separate resource model in addition to the workflow process definition. By assigning resource classes (i. e. groups and roles) to workflow tasks and by specifying (estimated) execution times of each task as well as assigning (estimated) branching probabilities of OR-split transitions, it will be possible to apply performance measurement methods like those described by van der Aalst and van Hee in [AaH02]. Implementing the associated algorithm, WoPeD again can act as a problem solver and visualizing front-end for quantiative analysis results. 6 Conclusion WoPeD is a evolving tool for many purposes. Though currently mainly useful for teaching and presentation purposes, it is on its best way to become a powerful modelling and analysis platform for many workflow-related applications.
7 7 References [AaH02] W. M. P. van der Aalst, K. van Hee. Workflow Management Models, Methods and Systems. MIT Press, Cambridge, [Aal98] W. M. P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8 (1) 1998, pp [Fre01] T. Freytag. Softwarevalidierung durch Auswertung von Petrinetz-Abläufen. PhD thesis, University of Karlsruhe, [FrL03] T. Freytag, S. I. Landes. PWFtool a Petri net workflow modelling environment. Proceedings of the Workshop "Algorithmen und Werkzeuge für Petrinetze (AWPN), Eichstätt, [Lan03] S. I. Landes. Entwicklung eines Modellierungstools für Workflow-Petrinetze. Diploma Thesis BA Karlsruhe, [Pip05] The PIPE project homepage [WeK03] M. Weber, E. Kindler. The Petri Net Markup Language. In: H. Ehrig, W. Reisig, G. Rozenberg, H. Weger (Eds.). Petri Net Technology for Communication Based Systems, LNCS 2472, Springer [Ver04] H. M. W. Verbeek. Verification of WF-nets. PhD thesis, TU Eindhoven, [Wof05] The Woflan project homepage [WoP05] The WoPeD project homepage [Yaw05] The YAWL project homepage
WoPeD - A Proof-of-Concept Platform for Experimental BPM Research Projects
WoPeD - A Proof-of-Concept Platform for Experimental BPM Research Projects Thomas Freytag, Cooperative State University (DHBW) Karlsruhe, Germany freytag@dhbw-karlsruhe.de Philip Allgaier, bpcompass GmbH,
More informationWoPeD - A "Proof-of-Concept" Platform for Experimental BPM Research Projects
Downloaded from orbit.dtu.dk on: Sep 01, 2018 WoPeD - A "Proof-of-Concept" Platform for Experimental BPM Research Projects Freytag, Thomas ; Allgaier, Philip; Burattin, Andrea; Danek-Bulius, Andreas Published
More informationCOVER SHEET. This is the author version of article published as:
COVER SHEET This is the author version of article published as: Ouyang, Chun and Verbeek, Eric and van der Aalst, Wil M.P. and Breutel, Stephan W. and Dumas, Marlon and ter Hofstede, Arthur H. (2005) WofBPEL:
More information3D-Visualization of Petri Net Models: Concept and Realization
3D-Visualization of Petri Net Models: Concept and Realization Ekkart Kindler and Csaba Páles Department of Computer Science, University of Paderborn {kindler,cpales}@upb.de Abstract. We present a simple
More informationWorkflow : Patterns and Specifications
Workflow : Patterns and Specifications Seminar Presentation by Ahana Pradhan Under the guidance of Prof. Rushikesh K. Joshi Department of Computer Science and Engineering Indian Institute of Technology,
More informationProcess Modelling using Petri Nets
Process Modelling using Petri Nets Katalina Grigorova Abstract: This paper discusses the reasons, which impose Petri nets as a conceptual standard for modelling and analysis of workflow. Petri nets notation
More informationIntegration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications
Integration of UML and Petri Net for the Process Modeling and Analysis in Workflow Applications KWAN-HEE HAN *, SEOCK-KYU YOO **, BOHYUN KIM *** Department of Industrial & Systems Engineering, Gyeongsang
More informationPN Matlab Toolbox 2.0
PN Matlab Toolbox. Martina Svadova, Zdenek Hanzalek Center for Applied Cybernetics, Czech Technical University Abstact. This paper introduces PN Matlab Toobox. further called PN Toolbox. PN Toolbox is
More informationConcurrent Systems Modeling using Petri Nets Part II
Concurrent Systems Modeling using Petri Nets Part II Marlon Dumas (Based on lecture material by Wil van der Aalst Eindhoven University of Technology, The Netherlands http://www.workflowcourse.com) PN-1
More informationVerification of EPCs: Using Reduction Rules and Petri Nets
Verification of EPCs: Using Reduction Rules and Petri Nets B.F. van Dongen, W.M.P. van der Aalst, and H.M.W. Verbeek Department of Technology Management, Eindhoven University of Technology P.O. Box 513,
More informationREPRESENTATION AND SIMULATION OF STOCHASTIC PETRINET MODELS USING XPNML. Hyunsoo Lee Bikram Sharda Amarnath Banerjee
Proceedings of the 2007 Winter Simulation Conference S. G. Henderson, B. Biller, M.-H. Hsieh, J. Shortle, J. D. Tew, and R. R. Barton, eds. REPRESENTATION AND SIMULATION OF STOCHASTIC PETRINET MODELS USING
More informationAutomated Compliance Verification of Business Processes in Apromore
Automated Compliance Verification of Business Processes in Apromore Heerko Groefsema 1, Nick R.T.P. van Beest 2, and Abel Armas-Cervantes 3 1 University of Groningen, The Netherlands h.groefsema@rug.nl
More informationA Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework
A Visual Editor for Reconfigurable Object Nets based on the ECLIPSE Graphical Editor Framework Enrico Biermann, Claudia Ermel, Frank Hermann and Tony Modica Technische Universität Berlin, Germany {enrico,lieske,frank,modica}@cs.tu-berlin.de
More informationColored Petri Net Evaluation Tool. Stephen Rojcewicz CS 2310
Colored Petri Net Evaluation Tool Stephen Rojcewicz CS 2310 Motivating Example (Colored Petri Nets) Consider a gesture-driven application interface. The system must detect three kinds of gestures and respond
More informationProcess Mining Discovering Workflow Models from Event-Based Data
Process Mining Discovering Workflow Models from Event-Based Data A.J.M.M. Weijters W.M.P van der Aalst Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands, +31 40 2473857/2290
More informationInstructions to use PIPE+
Instructions to use PIPE+ PIPE+ is implemented under the environment of Eclipse. User can import it into eclipse to view source code as well as run the program. The user can choose RunGUI to run the tool.
More informationLoosely Coupled Interorganizational Workflows:
Loosely Coupled Interorganizational Workflows: modeling and analyzing workflows crossing organizational boundaries Wil van der Aalst Department of Mathematics and Computing Science Eindhoven University
More informationConcurrent Systems Modeling using Petri Nets Part II
Concurrent Systems Modeling using Petri Nets Part II Marlon Dumas (Based on lecture material by Wil van der Aalst Eindhoven University of Technology, The Netherlands http://www.workflowcourse.com) PN-1
More informationVerification of XRL: An XML-based Workflow Language
Verification of XRL: An XML-based Workflow Language W.M.P. van der Aalst 1, H.M.W. Verbeek 1, and A. Kumar 2 1 Faculty of Technology and Management, Eindhoven University of Technology, PO Box 513, NL-5600
More informationDealing with Artifact-Centric Systems: a Process Mining Approach
Dealing with Artifact-Centric Systems: a Process Mining Approach Guangming Li and Renata Medeiros de Carvalho 2 Abstract: Process mining provides a series of techniques to analyze business processes based
More informationSupporting the Workflow Management System Development Process with YAWL
Supporting the Workflow Management System Development Process with YAWL R.S. Mans 1, W.M.P. van der Aalst 1 Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. ox 513,
More informationProcess Model Consistency Measurement
IOSR Journal of Computer Engineering (IOSRJCE) ISSN: 2278-0661, ISBN: 2278-8727Volume 7, Issue 6 (Nov. - Dec. 2012), PP 40-44 Process Model Consistency Measurement Sukanth Sistla CSE Department, JNTUniversity,
More informationPetri-net-based Workflow Management Software
Petri-net-based Workflow Management Software W.M.P. van der Aalst Department of Mathematics and Computing Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands,
More informationSolution: Petri nets Homework 1. Discussed on Thursday 21 st April, 2016.
Technische Universität München (I7) Summer term 2016 Prof. J. Esparza / P. Meyer Thursday 14 th April, 2016 Solution Petri nets Homework 1 Discussed on Thursday 21 st April, 2016. For questions regarding
More informationA Normative Language Approach to the Application of Petri Nets for Clinical Workflows
A Normative Language Approach to the Application of Petri Nets for Clinical Workflows Kamyar Sarshar, Peter Loos Johannes Gutenberg-Universität Mainz Information Systems & Management Lehrstuhl Wirtschaftsinformatik
More informationA SMIL Editor and Rendering Tool for Multimedia Synchronization and Integration
A SMIL Editor and Rendering Tool for Multimedia Synchronization and Integration Stephen J.H. Yang 1, Norman W.Y. Shao 2, Kevin C.Y. Kuo 3 National Central University 1 National Kaohsiung First University
More informationGeneration of Interactive Questionnaires Using YAWL-based Workflow Models
Management Studies, December 2015, Vol. 3, No. 11-12, 273-280 doi: 10.17265/2328-2185/2015.1112.002 D DAVID PUBLISHING Generation of Interactive Questionnaires Using YAWL-based Workflow Models Raimond
More informationProM 6: The Process Mining Toolkit
ProM 6: The Process Mining Toolkit H.M.W. Verbeek, J.C.A.M. Buijs, B.F. van Dongen, W.M.P. van der Aalst Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513,
More informationThe Process Checklist Generator: Establishing Paper-based Process Support
The Process Checklist Generator: Establishing Paper-based Process Support Marcel Bankau, Michaela Baumann, Michael Heinrich Baumann?, Stefan Schönig, and Stefan Jablonski University of Bayreuth, Universitätsstraße
More informationAbstract formula. Net formula
{ PEP { More than a Petri Net Tool ABSTRACT Bernd Grahlmann and Eike Best The PEP system (Programming Environment based on Petri Nets) supports the most important tasks of a good net tool, including HL
More informationAdvanced Reduction Rules for the Verification of EPC Business Process Models
Advanced Reduction Rules for the Verification of EPC Business Process Models Jan Mendling and Wil van der Aalst Queensland University of Technology Level 5, 126 Margaret Street, Brisbane QLD 4000, Australia
More informationOn the verification of EPCs using T-invariants
On the verification of EPCs using T-invariants H.M.W. Verbeek and W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600 MB, Eindhoven, The Netherlands.
More informationA Recommender System for Business Process Models
A Recommender System for Business Process Models Thomas Hornung Institute of Computer Science, Albert-Ludwigs University Freiburg, Germany hornungt@ informatik.uni-freiburg.de Agnes Koschmider, Andreas
More informationFramework Documentation
Framework Documentation Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie 07-1.0, Jan 08, 2007 Design Patterns and Frameworks, Prof. Uwe Aßmann 1 References
More information23. Framework Documentation
23. Framework Documentation Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie 11-1.0, 23.12.11 Design Patterns and Frameworks, Prof. Uwe Aßmann 1 References
More informationAn Extensible Editor and Simulation Engine for Petri Nets: Renew
An Extensible Editor and Simulation Engine for Petri Nets: Renew Olaf Kummer, Frank Wienberg, Michael Duvigneau, Jörn Schumacher, Michael Köhler, Daniel Moldt, Heiko Rölke, and Rüdiger Valk University
More information24. Framework Documentation
24. Framework Documentation 1 Prof. Uwe Aßmann TU Dresden Institut für Software und Multimediatechnik Lehrstuhl Softwaretechnologie 15-0.2, 23.01.16 Design Patterns and Frameworks, Prof. Uwe Aßmann Obligatory
More informationAFRI AND CERA: A FLEXIBLE STORAGE AND RETRIEVAL SYSTEM FOR SPATIAL DATA
Frank Toussaint, Markus Wrobel AFRI AND CERA: A FLEXIBLE STORAGE AND RETRIEVAL SYSTEM FOR SPATIAL DATA 1. Introduction The exploration of the earth has lead to a worldwide exponential increase of geo-referenced
More informationNon-Dominated Bi-Objective Genetic Mining Algorithm
Advances in Computational Sciences and Technology ISSN 0973-6107 Volume 10, Number 6 (2017) pp. 1607-1614 Research India Publications http://www.ripublication.com Non-Dominated Bi-Objective Genetic Mining
More informationAnalysis of BPMN Models
Analysis of BPMN Models Addis Gebremichael addisalemayehu.gebremichael@student.uantwerpen.be Abstract The Business Process Modeling Notation (BPMN) is a standard notation for capturing business processes,
More informationYasper. 2.0 User Guide. Yet Another Smart Process EditoR. :to be exact: in the process of being updated for 2.0
Yasper : Yet Another Smart Process EditoR 2.0 User Guide :to be exact: in the process of being updated for 2.0 What is Yasper? Yasper is a tool for modeling and simulating stepwise processes. It is intended
More informationDOWNLOAD OR READ : CONCURRENCY AND NETS ADVANCES IN PETRI NETS PDF EBOOK EPUB MOBI
DOWNLOAD OR READ : CONCURRENCY AND NETS ADVANCES IN PETRI NETS PDF EBOOK EPUB MOBI Page 1 Page 2 concurrency and nets advances in petri nets concurrency and nets advances pdf concurrency and nets advances
More informationTeaching and Training Formal Methods for Safety Critical Systems
Teaching and Training Formal Methods for Safety Critical Systems Michael Lipaczewski and Frank Ortmeier Computer Systems in Engineering Otto-von-Guericke University Magdeburg {michael.lipaczewski,frank.ortmeier}@ovgu.de
More informationCPN Tools 4: Multi-formalism and Extensibility
4: Multi-formalism and Extensibility Michael Westergaard 1,2, 1 Department of Mathematics and Computer Science, Eindhoven University of Technology, The Netherlands m.westergaard@tue.nl 2 National Research
More informationDiscovering Hierarchical Process Models Using ProM
Discovering Hierarchical Process Models Using ProM R.P. Jagadeesh Chandra Bose 1,2, Eric H.M.W. Verbeek 1 and Wil M.P. van der Aalst 1 1 Department of Mathematics and Computer Science, University of Technology,
More informationTHE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW
THE SELECTION OF THE ARCHITECTURE OF ELECTRONIC SERVICE CONSIDERING THE PROCESS FLOW PETERIS STIPRAVIETIS, MARIS ZIEMA Institute of Computer Control, Automation and Computer Engineering, Faculty of Computer
More informationBusiness Process Management Seminar 2007/ Oktober 2007
Business Process Management Seminar 2007/2008 22. Oktober 2007 Process 2 Today Presentation of topics Deadline 29.10.2007 9:00 Rank up to 3 topics - send to hagen.overdick@hpi.uni-potsdam.de 3.12.2007
More informationA Declarative Approach for Flexible Business Processes Management
A Declarative Approach for Flexible Business Processes Management M. Pesic and W.M.P. van der Aalst Department of Technology Management, Eindhoven University of Technology, P.O.Box 513, NL-5600 MB, Eindhoven,
More informationA Petri net-based simulation model for the flexible modelling and analysis of building construction processes
Simulation in Produktion und Logistik Entscheidungsunterstützung von der Planung bis zur Steuerung Wilhelm Dangelmaier, Christoph Laroque & Alexander Klaas (Hrsg.) Paderborn, HNI-Verlagsschriftenreihe
More informationManagement Science Letters
Management Science Letters 4 (2014) 111 116 Contents lists available at GrowingScience Management Science Letters homepage: www.growingscience.com/msl A new method for converting extended version of petri
More informationSpike - a command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets
Spike - a command line tool for continuous, stochastic & hybrid simulation of (coloured) Petri nets Jacek Chodak, Monika Heiner Computer Science Institute, Brandenburg University of Technology Postbox
More informationThe multi-perspective process explorer
The multi-perspective process explorer Mannhardt, F.; de Leoni, M.; Reijers, H.A. Published in: Proceedings of the Demo Session of the 13th International Conference on Business Process Management (BPM
More informationMethods for the specification and verification of business processes MPB (6 cfu, 295AA)
Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 01 - Introduction 1 Contact information http://www.di.unipi.it/~bruni
More informationDiagnosing Workflow Processes using Woflan
Diagnosing Workflow Processes using Woflan H.M.W. VERBEEK 1, T. BASTEN 2 AND W.M.P. VAN DER AALST 1 1 Faculty of Technology Management, Eindhoven University of Technology, the Netherlands 2 Faculty of
More informationTowards Automated Process Modeling based on BPMN Diagram Composition
Towards Automated Process Modeling based on BPMN Diagram Composition Piotr Wiśniewski, Krzysztof Kluza and Antoni Ligęza AGH University of Science and Technology al. A. Mickiewicza 30, 30-059 Krakow, Poland
More informationbflow* Toolbox - an Open-Source Modeling Tool
bflow* Toolbox - an Open-Source Modeling Tool Christian Böhme 1, Jörg Hartmann 1, Heiko Kern 1, Stefan Kühne 1, Ralf Laue 2, Markus Nüttgens 3, Frank J. Rump 4, and Arian Storch 2 1 Business Information
More information2015 International Conference on Computer, Control, Informatics and Its Applications
2015 International Conference on Computer, Control, Informatics and Its Applications Business Process Optimization from Single Timestamp Event Log Riyanarto Sarno *, Fitrianing Haryadita, Kartini, Sarwosri
More informationInteroperability in the ProM Framework
Interoperability in the ProM Framework H.M.W. Verbeek 1, B.F. van Dongen 1, J. Mendling 2, and W.M.P. van der Aalst 1 1 Department of Technology Management, Eindhoven University of Technology P.O. Box
More informationVisual support for work assignment in YAWL
Visual support for work assignment in YAWL Citation for published version (APA): Cardi, F., Leoni, de, M., Adams, M., Hofstede, ter, A. H. M., & Aalst, van der, W. M. P. (2009). Visual support for work
More informationTAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets Joakim Byg, Kenneth Yrke Jørgensen, and Jiří Srba Department of Computer Science, Aalborg University, Selma Lagerlöfs Vej 300, 9220 Aalborg
More informationThe Multi-perspective Process Explorer
The Multi-perspective Process Explorer Felix Mannhardt 1,2, Massimiliano de Leoni 1, Hajo A. Reijers 3,1 1 Eindhoven University of Technology, Eindhoven, The Netherlands 2 Lexmark Enterprise Software,
More informationProviding Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework
Providing Petri Net-Based Semantics in Model Driven-Development for the Renew Meta-Modeling Framework David Mosteller, Lawrence Cabac, Michael Haustermann University of Hamburg, Faculty of Mathematics,
More informationIssues on Decentralized Consistency Checking of Multi-lateral Collaborations
Issues on Decentralized Consistency Checking of Multi-lateral Collaborations Andreas Wombacher University of Twente Enschede The Netherlands a.wombacher@utwente.nl Abstract Decentralized consistency checking
More informationBuilding Petri nets tools around Neco compiler
Building Petri nets tools around Neco compiler Lukasz Fronc and Franck Pommereau {fronc,pommereau}@ibisc.univ-evry.fr IBISC, Université d Évry/Paris-Saclay IBGBI, 23 boulevard de France 91037 Évry Cedex,
More informationProM 4.0: Comprehensive Support for Real Process Analysis
ProM 4.0: Comprehensive Support for Real Process Analysis W.M.P. van der Aalst 1, B.F. van Dongen 1, C.W. Günther 1, R.S. Mans 1, A.K. Alves de Medeiros 1, A. Rozinat 1, V. Rubin 2,1, M. Song 1, H.M.W.
More informationFolding Example Runs to a Workflow Net
Folding Example Runs to a Workflow Net Robin Bergenthum, Thomas Irgang, Benjamin Meis Department of Software Engineering, FernUniversität in Hagen {firstname.lastname}@fernuni-hagen.de Abstract. We present
More informationEditor 2.0 User Manual
Editor 2.0 User Manual 2008, The YAWL Foundation Document Control Date Author Version Change 2 Sep 2004 Sean Kneipp 0.1 Initial Draft 27 Sep 2004 Sean Kneipp 0.2 Data Perspective 17 Oct 2004 Sean Kneipp
More informationXRL/Flower: Supporting Inter-Organizational Workflows Using XML/Petri-net Technology
XRL/Flower: Supporting Inter-Organizational Workflows Using XML/Petri-net Technology H.M.W. Verbeek, A. Hirnschall, W.M.P. van der Aalst Faculty of Technology Management Eindhoven University of Technology
More informationAn ECLIPSE Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models
An ECLIPSE Framework for Rapid Development of Rich-featured GEF Editors based on EMF Models Tony Modica, Enrico Biermann, Claudia Ermel Institut für Softwaretechnik und Theoretische Informatik Technische
More informationThe Process Checklist Generator: Establishing Paper-based Process Support
The Process Checklist Generator: Establishing Paper-based Process Support Marcel Bankau, Michaela Baumann, Michael Heinrich Baumann, Stefan Schönig, and Stefan Jablonski University of Bayreuth, Universitätsstraße
More informationOnline Conformance Checking for Petri Nets and Event Streams
Downloaded from orbit.dtu.dk on: Apr 30, 2018 Online Conformance Checking for Petri Nets and Event Streams Burattin, Andrea Published in: Online Proceedings of the BPM Demo Track 2017 Publication date:
More informationOn Capturing Process Requirements of Workflow Based Business Information Systems *
On Capturing Process Requirements of Workflow Based Business Information Systems * Wasim Sadiq and Maria E. Orlowska Distributed Systems Technology Centre Department of Computer Science & Electrical Engineering
More informationAGG: A Graph Transformation Environment for Modeling and Validation of Software
AGG: A Graph Transformation Environment for Modeling and Validation of Software Gabriele Taentzer Technische Universität Berlin, Germany gabi@cs.tu-berlin.de Abstract. AGG is a general development environment
More informationWeb-based Interactive Support for Combining Contextual and Procedural. design knowledge
Web-based Interactive Support for Combining Contextual and Procedural Design Knowledge J.-H. Lee & Z.-X. Chou Graduate School of Computational Design, NYUST, Touliu, Taiwan ABSTRACT: Design study can take
More informationCOMP 763. Eugene Syriani. Ph.D. Student in the Modelling, Simulation and Design Lab School of Computer Science. McGill University
Eugene Syriani Ph.D. Student in the Modelling, Simulation and Design Lab School of Computer Science McGill University 1 OVERVIEW In the context In Theory: Timed Automata The language: Definitions and Semantics
More informationQualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification
Proceedings of the 2009 IEEE International Conference on Systems, Man, and Cybernetics San Antonio, TX, USA - October 2009 Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification
More informationAMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects
Downloaded from orbit.dtu.dk on: Mar 31, 2018 AMFIBIA: A Meta-Model for the Integration of Business Process Modelling Aspects Axenath, Björn; Kindler, Ekkart; Rubin, Vladimir Published in: International
More informationFaulty EPCs in the SAP Reference Model
Faulty EPCs in the SAP Reference Model J. Mendling 1,M.Moser 1,G.Neumann 1, H.M.W. Verbeek 2,B.F.vanDongen 2, W.M.P. van der Aalst 2 1 Vienna University of Economics Business Administration Augasse 2-6,
More informationOpleiding Informatica & Economie
Opleiding Informatica & Economie Analysis of BPMN collaboration diagrams using Petri nets Vijanti Ramautar - 1559060 Supervisors: Dr. H.C.M. Kleijn & Drs. P.M. Kwantes BACHELOR THESIS Leiden Institute
More informationTHUR 9:00 AM UTILIZING BPM FOR MODERNIZATION
THUR 9:00 AM UTILIZING BPM FOR MODERNIZATION AXON IVY PROCESS AUTOMATION Marcel Pruegel Solutions Engineer, Axon Ivy June 2 nd 2016 AGENDA 2 ointroduction oget the Desinger! odesigner Overview oexample
More informationData Model and Software Architecture for Business Process Model Generator
VOL 2 (2018) NO 4-2 e-issn : 2549-9904 ISSN : 2549-9610 INTERNATIONAL JOURNAL ON INFORMATICS VISUALIZATION Data Model and Software Architecture for Business Process Model Generator Ivaylo Kamenarov #,
More informationMining with Eve - Process Discovery and Event Structures
Mining with Eve - Process Discovery and Event Structures Robin Bergenthum, Benjamin Meis Department of Software Engineering, FernUniversität in Hagen {firstname.lastname}@fernuni-hagen.de Abstract. This
More informationTHUR 3:30 PM BUILDING AN AUTOMATED PROCESS THAT INTERACTS WITH DIFFERENT SYSTEMS
THUR 3:30 PM BUILDING AN AUTOMATED PROCESS THAT INTERACTS WITH DIFFERENT SYSTEMS AXON IVY PROCESS AUTOMATION Marcel Pruegel Solutions Engineer, Axon Ivy June 2 nd 2016 AGENDA 2 ointroduction oget the Desinger!
More informationProcess model repositories and PNML
Process model repositories and PNML K.M. van Hee R.D.J. Post L.J.A.M. Somers J.M.E.M. van der Werf TU Eindhoven Abstract Bringing system and process models together in repositories facilitates the interchange
More informationSYNOPS - Generation of Partial Languages and Synthesis of Petri Nets?
SYNOPS - Generation of Partial Languages and Synthesis of Petri Nets? Robert Lorenz, Markus Huber, Christoph Etzel, and Dan Zecha Department of Computer Science University of Augsburg, Germany robert.lorenz@informatik.uni-augsburg.de
More informationConfigurable Process Models as a Basis for Reference Modeling position paper
Configurable Process Models as a Basis for Reference Modeling position paper W.M.P. van der Aalst 1,3, A. Dreiling 2,3, M. Rosemann 3,andM.H. Jansen-ullers 1 1 Department of Technology Management, Eindhoven
More informationOnline Conformance Checking for Petri Nets and Event Streams
Online Conformance Checking for Petri Nets and Event Streams Andrea Burattin University of Innsbruck, Austria; Technical University of Denmark, Denmark andbur@dtu.dk Abstract. Within process mining, we
More informationIncremental Development of Business Process Models
Incremental Development of Business Process Models Carlo Simon Universität Koblenz-Landau Universitätsstraße 1, D-56070 Koblenz simon@uni-koblenz.de Abstract: The purpose of formal and so called semi-formal
More informationProcess Mining: Using CPN Tools to Create Test Logs for Mining Algorithms
Process Mining: Using CPN Tools to Create Test Logs for Mining Algorithms A.K. Alves de Medeiros and C.W. Günther Department of Technology Management, Eindhoven University of Technology P.O. Box 513, NL-5600
More informationAPD tool: Mining Anomalous Patterns from Event Logs
APD tool: Mining Anomalous Patterns from Event Logs Laura Genga 1, Mahdi Alizadeh 1, Domenico Potena 2, Claudia Diamantini 2, and Nicola Zannone 1 1 Eindhoven University of Technology 2 Università Politecnica
More informationRule Based Bi-Directional Transformation of UML2 Activities into Petri Nets
Rule Based Bi-Directional Transformation of UML2 Activities into Petri Nets A. Spiteri Staines Abstract Many modern software models and notations are graph based. UML 2 activities are important notations
More informationData Streams in ProM 6: A Single-Node Architecture
Data Streams in ProM 6: A Single-Node Architecture S.J. van Zelst, A. Burattin 2, B.F. van Dongen and H.M.W. Verbeek Eindhoven University of Technology {s.j.v.zelst,b.f.v.dongen,h.m.w.verbeek}@tue.nl 2
More informationThe ProM Framework: A New Era in Process Mining Tool Support
The ProM Framework: A New Era in Process Mining Tool Support B.F. van Dongen, A.K.A. de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst Department of Technology Management, Eindhoven
More informationFaulty EPCs in the SAP Reference Model
Faulty EPCs in the SAP Reference Model J. Mendling 1, M. Moser 1, G. Neumann 1, H.M.W. Verbeek 2, B.F. van Dongen 2, W.M.P. van der Aalst 2 1 Vienna University of Economics Business Administration Augasse
More informationTowards A High-Level Petri Net Type Definition
Towards A High-Level Petri Net Type Definition Michael Westergaard Department of Computer Science, University of Aarhus, IT-parken, Aabogade 34, DK-8200 Aarhus N, Denmark, Email: mw@daimi.au.dk Abstract.
More informationA COMPUTER-AIDED SIMULATION ANALYSIS TOOL FOR SIMAN MODELS AUTOMATICALLY GENERATED FROM PETRI NETS
A COMPUTER-AIDED SIMULATION ANALYSIS TOOL FOR SIMAN MODELS AUTOMATICALLY GENERATED FROM PETRI NETS Albert Peñarroya, Francesc Casado and Jan Rosell Institute of Industrial and Control Engineering Technical
More informationMultimedia Presentation Authoring System for E- learning Contents in Mobile Environment
Appl. Math. Inf. Sci. 6 No. 2S pp. 705S-711S (2012) Applied Mathematics & Information Sciences An International Journal @ 2012 NSP Natural Sciences Publishing Cor. Multimedia Presentation Authoring System
More informationHierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets
Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets Yojiro Harie and Katsumi Wasaki Interdisciplinary Graduate School of
More informationProcess Mining Based on Clustering: A Quest for Precision
Process Mining Based on Clustering: A Quest for Precision A.K. Alves de Medeiros 1, A. Guzzo 2, G. Greco 2, W.M.P. van der Aalst 1, A.J.M.M. Weijters 1, B. van Dongen 1, and D. Saccà 2 1 Eindhoven University
More informationEPC-BASED MODELLING OF BPEL PROCESSES: A PRAGMATIC TRANSFORMATION APPROACH
EPC-BASED MODELLING OF BPEL PROCESSES: A PRAGMATIC TRANSFORMATION APPROACH Jörg Ziemann and Jan Mendling Institute for Information Systems, University of Saarland, Germany ziemann@iwi.uni-sb.de Dept. of
More information