org.jbpt:jbpt-petri (maven): The jBPT code library is a compendium of technologies that support research on design, execution, and evaluation of business processes.
Keywords: automaton|behavioral-profile|bpmn|epc|event-driven-process-chain|graph|hypergraph|mdtree|modular-decomposition-tree|petri-net|process|refined-process-structure-tree|rpst|unfolding|untangling