Business Process Technologies 4 Java

This open source project includes source code developed for research purposes in the domain of Business Process Management.

The project includes:

• Directed graph, undirected graph, directed multi graph, undirected multi graph
• Directed hypergraph, undirected hypergraph, directed multi hypergraph, undirected multi hypergraph
• Petri nets
• Event-driven Process Chains (EPC) object model
• Flexible Process Graphs (FPG) object model - hypergraph-based process formalism
• Techniques for workflow graph parsing:
• The tree of the biconnected components
• The tree of the triconnected components (SPQR-tree)
• The Refined Process Structure Tree (RPST)
• Techniques for net system unfolding:
• 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
• Theory of behavioral profiles:
• Behavioral profiles
• Causal behavioral profiles

Friend projects:

• BPStruct - a tool for transforming unstructured concurrent systems into well-structured ones. http://code.google.com/p/bpstruct/