- Tytuł:
- Accelerations for the Coverability Set of Petri Nets with Names
- Autorzy:
-
Rosa-Velardo, F.
Martos-Salgado, M.
Frutos-Escrig, D. de - Data publikacji:
- 2011
- Słowa kluczowe:
-
Petri net
pure names
infinite state systems
decidability
well structured transition system
forward analysis
accelerations - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł