Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Petri nets
Graph theory
6
P/T net
6
Semantics
6
Algebra
4
Algebraic properties
4
Algorithms
4
Basic algebra
4
Boundedness
4
Component based systems
4
Computation theory
4
Conflict free
4
Conflict-free Petri nets
4
Coverability
4
Directed hypergraphs
4
Embedded systems
4
Incremental algorithm
4
Incremental algorithms
4
Liveness
4
Marked graphs
4
Model checking
4
Problem solving
4
Software engineering
4
Stateless connectors
4
Teaching
4
Tile models
4
(extended) Petri nets
2
Algebras of connectors
2
Behavioral properties
2
Bisimilarity
2
-
21
-
22