par Hujsa, Thomas;Devillers, Raymond 
Référence Fundamenta informaticae, 161, 4, page (383-421)
Publication Publié, 2018-07
Référence Fundamenta informaticae, 161, 4, page (383-421)
Publication Publié, 2018-07
Article révisé par les pairs
| Titre: |
|
| Auteur: | Hujsa, Thomas; Devillers, Raymond |
| Informations sur la publication: | Fundamenta informaticae, 161, 4, page (383-421) |
| Statut de publication: | Publié, 2018-07 |
| Sujet CREF: | Informatique mathématique |
| Algèbre linéaire et matricielle | |
| Théorie des nombres | |
| Informatique générale | |
| Mots-clés: | Asymmetric-choice |
| Boundedness | |
| Communication-free | |
| Deadlockability | |
| Fork-attribution | |
| Join-free | |
| Liveness | |
| Monotonicity | |
| Reversibility | |
| Structural analysis | |
| Synchronization-free | |
| Weighted Petri net | |
| Note générale: | SCOPUS: ar.j |
| Langue: | Anglais |
| Identificateurs: | urn:issn:0169-2968 |
| info:doi/10.3233/FI-2018-1708 | |
| info:scp/85094236611 |
