Petri Nets

Kind: model

Layer: Atomic Boundary

Record: architecture:petri-nets

Severity: contextual

Scope: concurrency, workflow, verification

Canonical: Ontology

A conceptual representation of concurrent flow as places holding tokens and transitions that consume and produce them, which can be analyzed for deadlock.

Listed in Architecture principles, after Controlled Side Effects.

Requires

• Places and Transitions

Reinforces

• Concurrency Correctness
• Deadlock Freedom

Enables

• Concurrent-Flow Modeling
• Reachability and Deadlock Analysis

Conflicts with

• Ad-Hoc Lock Ordering

In tension with

• Modeling Overhead

Tensions

• Petri Nets / Modeling Overhead

Contracts

• Petri Nets

Violated by

• Ad-Hoc Lock Ordering

Severity

• contextual

Category

• Transactions / State / Concurrency

Linked from

• Transactions / State / Concurrency
• Architecture
• Severity levels
• The resolutions