Browsing by Subject Generalized stochastic Petri nets; Dynamic model and structure; Graph transformation systems; Formal modeling and verification; Performance evaluation
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1-Jun-2020 | Reconfiguration in Stochastic Petri Nets | TIGANE, Samir |