par Hujsa, Thomas;Devillers, Raymond 
Référence Lecture notes in computer science, 10258 LNCS, page (267-287)
Publication Publié, 2017
Référence Lecture notes in computer science, 10258 LNCS, page (267-287)
Publication Publié, 2017
Article révisé par les pairs
| Titre: |
|
| Auteur: | Hujsa, Thomas; Devillers, Raymond |
| Informations sur la publication: | Lecture notes in computer science, 10258 LNCS, page (267-287) |
| Statut de publication: | Publié, 2017 |
| Sujet CREF: | Informatique générale |
| Informatique mathématique | |
| Mots-clés: | Asymmetric-choice |
| Boundedness | |
| Communication-free | |
| Deadlockability | |
| Fork-attribution | |
| Join-free | |
| Liveness | |
| Monotonicity | |
| Structural analysis | |
| Synchronization-free | |
| Weighted Petri net | |
| Note générale: | SCOPUS: cp.k |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0302-9743 |
| info:doi/10.1007/978-3-319-57861-3_16 | |
| info:scp/85019237231 |
