- Tytuł:
- sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions
- Autorzy:
-
Macia, H.
Valero, V.
Cuartero, F.
Ruiz, M.C. - Data publikacji:
- 2008
- Słowa kluczowe:
-
Petri box calculus
stochastic process algebras
generalized stochastic Petri nets - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł