Codebase Save

       _____  _               _  ____   ____  _____   _      _  _                              
      |_   _|| |__    ___    (_)| __ ) |  _ \|_   _| | |    (_)| |__   _ __  __ _  _ __  _   _ 
        | |  | '_ \  / _ \   | ||  _ \ | |_) | | |   | |    | || '_ \ | '__|/ _` || '__|| | | |
        | |  | | | ||  __/   | || |_) ||  __/  | |   | |___ | || |_) || |  | (_| || |   | |_| |
        |_|  |_| |_| \___|  _/ ||____/ |_|     |_|   |_____||_||_.__/ |_|   \__,_||_|    \__, |
                           |__/                                                          |___/ 

                        --- 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