- Tytuł:
- An analytical method for well-formed workflow/Petri net verification of classical soundness
- Autorzy:
- Clempner, J.
- Data publikacji:
- 2014
- Słowa kluczowe:
-
Petri net
decidability
workflow net
Lyapunov stability
soundness
verification
sieć Petriego
sieć przepływu pracy
stabilność Lapunova - Pokaż więcej
- Dostawca treści:
- BazTech