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

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