- Tytuł:
- High-Level Petri Net Model Checking with AlPiNA
- Autorzy:
-
Hostettler, S.
Marechal, A.
Linard, A.
Risoldi, M.
Buchs, D. - Data publikacji:
- 2011
- Słowa kluczowe:
-
system design and verification
Higher-level nets models
algebraic Petri nets
state space generation
computer tools for nets
model checking - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł