Logics for Petri nets with propagating failures
Petri nets play a central role in the formal modelling of a wide range of complex systems and scenarios. Their ability to handle with both concurrency and resource awareness justifies their spread in the current formal development practices. On the logic side, Dynamic Logics are widely accepted as t...
| Main Author: | |
|---|---|
| Other Authors: | , |
| Format: | bookPart |
| Language: | eng |
| Published: |
2020
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10773/27064 |
| Country: | Portugal |
| Oai: | oai:ria.ua.pt:10773/27064 |