Cargando…
Augmented marked graphs
Petri nets are a formal and theoretically rich model for the modelling and analysis of systems. A subclass of Petri nets, augmented marked graphs possess a structure that is especially desirable for the modelling and analysis of systems with concurrent processes and shared resources.This monograph c...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2014
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1986782 |