{% load petrinet_simulator %}

{{ net_name }}:
{{ net | net_title }}

{{ net | net_description | markdown }}

← Index of Petri nets

{% if rotate %} {% else %} {% endif %}

Example markings:

Initial marking:

Transitions:

Current marking:

Net with current marking:

{% net_graph_image_data net=net initial_marking=initial_marking transition_ids_str=transition_ids current_marking=current_marking rotate=rotate legend=False %}
Edit GraphViz ↗
{% if enabled_transitions %}

Enabled transitions:

{% net_graph_image_data net=enabled_subnet initial_marking=initial_marking transition_ids_str=transition_ids current_marking=current_marking rotate=rotate legend=False %}
Edit GraphViz ↗
{% endif %} {% if transitions and show_sequence_diagram %}

Sequence diagram:

{% net_run_sequence_diagram_image_data net=net initial_marking=initial_marking transitions=transitions %}
Edit PlantUML ↗
{% endif %}