Загрузка...
Coloured petri nets modelling and validation of concurrent systems /
Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and t...
Сохранить в:
| Главные авторы: | , |
|---|---|
| Формат: | Livro |
| Язык: | Inglês |
| Опубликовано: |
Springer,
2009
|
| Предметы: | |
| Online-ссылка: | https://minerva.ufrj.br/F/?func=direct&doc_number=000909351&local_base=UFR01 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|