- Tytuł:
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- Autorzy:
- Clempner, J.
- Data publikacji:
- 2014
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
Lyapunov stability
Petri net
decidability
workflow net
soundness
verification
sieć Petriego
sieć przepływu pracy
stabilność Lapunova - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł