State Opacity via Structural Observability in Continuous Petri Nets

This paper investigates state-opacity in discrete Petri nets through structural observability derived from continuous Petri nets. We provide structural conditions ensuring or violating initial-state and current-state opacity, leveraging partial measurements of markings. We illustrate our methodology through a healthcare application involving the confidentiality of patient decisions in anterior cruciate ligament (ACL) treatments.