Hybrid Petri Net Miner

This node implements the second step of the Hybrid Miner to discover a hybrid Petri net from a causal graph. The hybrid miner combines the best of formal and informal modeling notations by discovering hybrid Petri nets. The hybrid miner converts the edges of the input causal graph into formal places if there is enough evidence in the data justifying adding formal constraints. For vague structures where formal constraints cannot be justified, causal relations are depicted in the final hybrid Petri net as informal edges.

Options

Threshold for early cancellation of place iterator
After x consecutive rejected places, the place iterator is canceled.
Place evaluation method
Fitness threshold for the place evaluation method

Input Ports

Icon
a causal graph

Output Ports

Icon
a hybrid Petri net

Popular Predecessors

  • No recommendations found

Views

Interactive View: Hybrid Petri Net

Workflows

Links

Developers

You want to see the source code for this node? Click the following button and we’ll use our super-powers to find it for you.