New Load File Load Example Save Save as Example Update Example Export PNG Close
Toggle Grid Toggle Theme
Run Step Restart Configuration
Place Transition
📂 Load Classic Petri Net
📂 Load Simple Motor Starter 📂 Load testNetManager 📂 Load Star-Delta Motor Starter 📂 Load testTokenAnimation
💾 Save Current Layout
Alpha Version
New file Load file Save file Export PNG Close file
Select tool Place tool Transition tool Arc tool
Restart simulation Start simulation Step simulation Pause simulation Stop simulation
No file

Generated Code

×

📂 Load Example

×
Loading examples...

💾 Save as Example

×

📊 Petri Net Properties Analysis

×

🔍 Analyzing Petri Net Properties...

Load a Petri Net and click Properties to view analysis results.

Matrices

×

Matrices C, E e S

Matrix E:

Matrix S:

Matrix C:

Place Invariants

×

Transition Invariants

×

Inputs Configuration

×
Name Type Initial Value Description

Simulation Configuration

×

Error

×

select the element

⚠️ Unsaved Changes

You have unsaved changes. What would you like to do?

📋 Example Information

×
📂

No Example Loaded

Please load an example from the Examples menu to view its metadata.

🔷 Automation Petri Net (APN) - 10-Tuple Representation

×

📊 Network Statistics

Places: -

Transitions: -

Arcs: -

External Inputs: -

Automation Petri Net (APN): APN = (P, T, F, M₀, I, Tₑ, G, D, PR, IN)

10-tuple representation with timing, guards, priorities, test arcs and external inputs for automation systems.

P = Places (with semantic types)
-
T = Transitions
-
F = Flow Relation (arcs)
-
M₀ = Initial Marking
-
I = Inhibitor Arcs
-
Tₑ = Test Arcs
-
G = Guards (Boolean Expressions)
-
D = Delays (Time in seconds)
-
PR = Priorities (execution order)
-
IN = External Inputs (system variables)
-

📐 Complete Definition

-

Automation Petri Net

A Petri Net editor, simulator and code generator for automation

Start

New File Open File

Fast Tutorial

Select and drag element
Pan
Zoom
Ctrl + z Undo
Ctrl + y Redo
Delete Delete the selected element

Set the Mark

ℹ️ About - Automation Petri Net Editor

×

Automation Petri Net Editor

Version: Alpha

📖 About This Project

A web-based interactive editor and simulator for Automation Petri Nets (APN), designed specifically for automation and control systems.

Built with vanilla JavaScript, SVG graphics, and modern web technologies, this tool provides a complete environment for creating, simulating, and analyzing Petri Nets with advanced features like:

  • 🎨 Interactive visual editor with drag-and-drop
  • ⚡ Real-time simulation with multiple modes (Classic, Automation, VisObj)
  • 🔍 Mathematical analysis (reachability trees, invariants, properties)
  • ⏰ Timing and delays for transitions
  • 🔒 Guard expressions with Boolean logic
  • 🎯 Test arcs and inhibitor arcs
  • 📊 10-tuple APN representation
  • 💾 Persistent layout system for examples

🔗 Links

📂 GitHub Repository

🐛 Report Issues / Request Features