Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Petri nets
Algebra
1
Algebraic properties
1
Algorithms
1
Basic algebra
1
Boundedness
1
C/E nets with boundaries
1
Component based systems
1
Compositional interfaces
1
Conflict free
1
Conflict-free Petri nets
1
Connector algebras
1
Coverability
1
Design of real time systems
1
Different class
1
Directed hypergraphs
1
Embedded systems
1
Formal analysis of design specification
1
Formal design specification
1
Graph theory
1
Incremental algorithm
1
Incremental algorithms
1
Liveness
1
Marked graphs
1
Model checking
1
Mutual exclusions
1
P/T net
1
P/T nets with boundaries
1
Problem solving
1
Real time systems
1
-
1
-
2
-
3