References for Petri net

Back to article

References to other articles, organized by section

Activity diagram
Bipartite graph
Business Process Model and Notation
Carl Adam Petri
Concurrent computing
Diagram
Discrete event dynamic system
Distributed systems
Event-driven process chain
Iteration
Mathematical
Modeling language
Unified Modeling Language

Historical background

Carl Adam Petri

Petri net basics

Concurrency (computer science)
Graph theory
Nondeterministic algorithm

Formal definition and basic terminology

Countable set
Multiset
State transition system
Tuple

Syntax

Bipartite graph
Directed edge
Directed graph
Disjoint sets
Finite set
Multiset
Tuple

Execution semantics

Reflexive transitive closure
State space

Variations on the definition

Expressive power (computer science)
Multiset

Formulation in terms of vectors and matrices

Matrix (mathematics)
Vector (mathematics)

Category-theoretic formulation

Jose Meseguer
Symmetric monoidal categories

Mathematical properties of Petri nets

Computational complexity
Decision problem

Reachability

ELEMENTARY
EXPSPACE
Linear temporal logic
Method of analytic tableaux
Primitive recursive
Reachability problem

Liveness

If and only if

Boundedness

Bounded set
Covering problem
Richard Karp

Discrete, continuous, and hybrid Petri nets

Automata theory
Control theory

Extensions

Coloured Petri net
Coloured Petri nets
CPN Tools
Dualistic Petri Nets
Exponential distribution
Finite state automaton
Functional programming language
Markov chain
Nets within Nets
Nondeterministic time
Prioritised Petri net
Process architecture
Stochastic Petri net
Turing complete
Vector addition system
Well-formed Petri net

Restrictions

Indeterminacy in concurrent computation
Marked graph
State machine

Workflow nets

Design structure matrix
Path (graph theory)
Workflow

Other models of concurrency

Actor model
Communicating finite-state machines
Compositionality
Kahn process networks
Modularity (programming)
Process algebra
Trace theory
Vector addition systems

Application areas

Boolean differential calculus
Business Process Modeling
Computational Biology
Concurrent programming
Control engineering
Data analysis
Diagnosis (Artificial intelligence)
Game theory
Kahn process networks
Process modeling
Reliability engineering
Sequential function chart
Signal transition graphs
Simulation
Software design
Workflow management system

Source on Wikipedia (https://en.wikipedia.org)

--

Gemipedia Home
Go to Article
Using English Wikipedia. Change Language?

--
Size: 6.68 KB. 97.53% smaller than original: 270.15 KB 🤮
Fetched: 19 ms. Converted: 508 ms. 🐇

Made with 📚 and ❤️ by Acidus (mailto://)

All Wikipedia content is licensed under CC BY-SA 3.0