2 papers
cs.FL2025
Secret Protection in Labeled Petri Nets
Stefan Haar, Tomáš Masopust, Jakub Večeřa
We study the secret protection problem (SPP), where the objective is to find a policy of minimal cost ensuring that every execution path from an initial state to a secret state con…
cs.DM2025
Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks
Stefan Haar, Juri Kolčák
The analysis of biological networks has benefited from the richness of Boolean networks (BNs) and the associated theory. These results have been further fortified in recent years b…