_____ _ _ ____ ____ _____ _ _ _
|_ _|| |__ ___ (_)| __ ) | _ \|_ _| | | (_)| |__ _ __ __ _ _ __ _ _
| | | '_ \ / _ \ | || _ \ | |_) | | | | | | || '_ \ | '__|/ _` || '__|| | | |
| | | | | || __/ | || |_) || __/ | | | |___ | || |_) || | | (_| || | | |_| |
|_| |_| |_| \___| _/ ||____/ |_| |_| |_____||_||_.__/ |_| \__,_||_| \__, |
|__/ |___/
--- Enabling business technologies since 2009 ---
--- contact us at jbpt.library (at) gmail.com ---
--- follow us on twitter @jbptlibrary ---
Copyright (c) 2008-2019. GNU LGPL v3. All rights reserved.
--------------
Developing
--------------
- jBPT is distributed via Maven Central Repository: https://repo1.maven.org/maven2/org/jbpt/
- The jBPT Library is compiled to be Java 1.6 compliant
- Every commit to the jBPT Library must pass all the tests in:
https://github.com/jbpt/codebase/blob/master/jbpt-test/src/test/java/org/jbpt/test/AllTests.java
--------------
Modules
--------------
- jbpt-bp - Computation and analysis of Behavioral Profiles
- jbpt-bpm - Techniques for Business Process Management
- jbpt-core - Core classes and methods
- jbpt-deco - Techniques for decomposing process graphs, including RPST and MDT
- jbpt-petri - Techniques to analyze Petri nets
- jbpt-pm - Methods and techniques for Process Mining
--------------
Features (incomplete)
--------------
Techniques to compute:
- Refined Process Structure Tree (RPST)
- Workflow Tree (WF-Tree)
- Behavioral Profile
- Causal Behavioral Profile
- Unfolding of a Petri net system
- Unfolding (maximal branching process)
- McMillan adequate order
- Esparza adequate order for arbitrary net systems
- Esparza total adequate order for safe net systems
- Proper complete prefix unfolding for structuring
- Untangling of a Petri net system
- The tree of biconnected components
- The tree of triconnected components (SPQR-tree)
- Modular Decomposition Tree (MDT)
Object models:
- Directed, undirected, directed multi, undirected multi graphs
- Directed, undirected, directed multi, undirected multi hypergraphs
- Petri nets
- Workflow nets
- Event-driven Process Chains (EPC)
- Flexible Process Graphs (FPG)
Serialization formats:
- The DOT Language: http://www.graphviz.org/content/dot-language
- Petri Net Markup Language (PNML): http://www.pnml.org/
- EPC Markup Language (EPML)
--------------
Publications
--------------
Artem Polyvyanyy and Matthias Weidlich. Towards a Compendium of Process Technologies: The jBPT Library for
Process Model Analysis. Proceedings of the Forum of the 25th Int. Conference on Advanced Information
Systems Engineering (CAiSE Forum). Valencia, Spain, June 17-21, 2013. CEUR Workshop Proceedings 998,
pp. 106-113, CEUR-WS.org. Postprint available at: https://eprints.qut.edu.au/59637/
--------------
Contributors
--------------
- Artem Polyvyanyy
- Matthias Weidlich
- Luciano García-Bañuelos
- Christian Wiggert
- Martin Mader
- Gero Decker
- Kai Schlichting
- Nicolas Peters
- Matthias Kunze
- Cindy Fähnrich
- Andrina Mascher
- Tobias Hoppe
- Johannes Prescher
- Thomas Porcham
- Andreas Meyer
- Felix Mannhardt
- Thomas Baier
- Remco Dijkman
- Anna Kalenkova
---------------
Users
---------------
- The PQL Tool: https://github.com/processquerying/PQL
- Apromore: http://apromore.org/
- ProM: http://www.promtools.org/doku.php
- WoPeD: http://woped.dhbw-karlsruhe.de/woped/
- Let us know if you use jBPT and would like to be in this list
---------------
Contacts
---------------
jbpt[dot]library[at]gmail[dot]com