Toggle Grid Toggle Theme Animated SVG
Run Step Restart Configuration
v4.0.2
New file Load file Save file Export PNG Close file
Select tool Place tool Transition tool Arc tool Token tool Text box tool
Restart simulation Start simulation Step simulation Pause simulation Stop simulation Manual fire: hover + click to fire transitions individually
🎮 Modo Educacional Step-by-Step Clique para ativar o modo de aprendizado gamificado. Os alunos disparam transições uma por vez e constroem a Árvore de Alcançabilidade interativamente.
No file

Generated Code

×

📂 Load Example

×
Loading examples...

💾 Save as Example

×

⚙ Configurar Modos

×

Marque quais funcionalidades ficam visíveis em cada modo. As alterações são salvas em localStorage.

🎮
Modo Educacional Step-by-Step

Modo gamificado para ensino de Redes de Petri. Alunos clicam em transições para construir a Árvore de Alcançabilidade passo a passo, com sistema de pontuação e bônus para caminho ótimo.
Ideal para: Exercícios práticos, laboratórios, avaliações interativas.

📊 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

×
💡 Variables can be used in transition guard expressions
Name Type Initial Value Description Animated SVG
📥

No input variables defined yet.

Click "+ Add Variable" to create one.

🔘 Push-Button Builder

▼

Simulation Configuration

×

Error

×

select the element

⚠️ Unsaved Changes

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

⚠️ Close File

Are you sure you want to close this file?

🔷 Automation Petri Net (APN) - Formal Representation

×

📊 Network Statistics

Places: -

Transitions: -

Arcs: -

External Inputs: -

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

Extended APN representation with capacity, 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
-
K = Capacity Function
-
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

-

Set the Mark

Export Animated SVG

×

Enter the sequence of transitions to fire (IDs or names separated by comma):

Use parentheses for simultaneous firings: T1, (T2, T3), T4

💡 Tip: The exported SVG uses pure SMIL animation (no scripts). It loops automatically and works everywhere: <img>, inline HTML, sanitized content, and CSP-restricted pages.

🚀 Construindo Árvore Automaticamente

×
⚡

Explorando estados alcançáveis...

0
Estados
0
Transições
🌳

A árvore será visualizada aqui...

💡 A árvore está sendo construída em segundo plano.
A rede de Petri permanece inalterada.

ℹ️ About - Automation Petri Net Editor

×

Automation Petri Net Editor

Version: v4.0.2

📖 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
  • 📊 Extended APN formal representation
  • 💾 Persistent layout system for examples

🔗 Links

📂 GitHub Repository

🐛 Report Issues / Request Features