Hippo-CPS: Verification of Boundedness, Safeness and Liveness of Petri Net-Based Cyber-Physical Systems
| Autor: | Marcin Wojnakowski, Mateusz Popławski, Remigiusz Wiśniewski, Grzegorz Bazydło |
|---|---|
| Rok vydání: | 2022 |
| Zdroj: | Technological Innovation for Digitalization and Virtualization ISBN: 9783031075193 |
| DOI: | 10.1007/978-3-031-07520-9_7 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|