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…