Translation of Nested Petri Nets into Classical Petri Nets for Unfoldings Verification
Nested Petri nets (NP-nets) have proved to be one of the convenient formalisms for distributed multi-agent systems modeling and analysis. It allows representing multi-agent systems structure in a natural way, since tokens in the system net are Petri nets themselves, and have their own behavior. Mult...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| Σειρά: | Труды Института системного программирования РАН |
| Θέματα: | |
| Διαθέσιμο Online: | https://ispranproceedings.elpub.ru/jour/article/view/142 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|