Functionalities for plotting (org.tweetyproject.commons.Plotting), in particular plotting graphs (org.tweetyproject.graphs.util.GraphPlotter)
Petri nets and reachability graphs for Petri nets, also a class to build the reachability graph of a Petri net (org.tweetyproject.logics.petri)
Stochastic walks on reachability graphs (_org.tweetyproject.logics.petri.syntax.reachabilitygraph). For this purpose, reachability graphs feature a probability function
An inconsistency measurement (Dead-End Inconsistency) for BPMN models that is based on a stochastic walk on the reachability graph of the corresponding Petri net. For this purpose, BPMN models can be converted to Petri nets (_org.tweetyproject.logics.bpm.parser.bpmn_topetri).
An example (org.tweetyproject.logics.bpm.examples.Example) that visualizes various BPMN models as well as their Petri nets and reachability graphs, and the Dead-End inconsistency value for a random probability function.
New features: