@inproceedings{wojnakowski:hal-03685916,
  TITLE = {{Verification of the Boundedness Property in a Petri Net-Based Specification of the Control Part of Cyber-Physical Systems}},
  AUTHOR = {Wojnakowski, Marcin and Wi{\'s}niewski, Remigiusz},
  URL = {https://inria.hal.science/hal-03685916},
  NOTE = {Part 3: Cyber-Physical Systems and Digital Twins},
  BOOKTITLE = {{12th Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)}},
  ADDRESS = {Costa de Caparica, Portugal},
  EDITOR = {Luis M. Camarinha-Matos and Pedro Ferreira and Guilherme Brito},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Technological Innovation for Applied AI Systems},
  VOLUME = {AICT-626},
  PAGES = {83-91},
  YEAR = {2021},
  MONTH = Jul,
  DOI = {10.1007/978-3-030-78288-7\_8},
  KEYWORDS = {Boundedness ; Petri nets ; Control part of cyber-physical systems ; Invariants ; Linear algebra},
  PDF = {https://inria.hal.science/hal-03685916/file/512066_1_En_8_Chapter.pdf},
  HAL_ID = {hal-03685916},
  HAL_VERSION = {v1},
}