31 citations · 56 across the 19 of their papers we have counts for
Showing 2021 · cs.LOShow all
2 papers · 2 filters
cs.LO2021
Structural Liveness of Immediate Observation Petri Nets
Petr Jancar, Jiri Valusek
We look in detail at the structural liveness problem (SLP) for subclasses of Petri nets, namely immediate observation nets (IO nets) and their generalized variant called branching…
cs.LO2021★ 3 cited
Resource Bisimilarity in Petri Nets is Decidable
Irina Lomazova, Vladimir Bashkin, Petr Jančar
Petri nets are a popular formalism for modeling and analyzing distributed systems. Tokens in Petri net models can represent the control flow state or resources produced/consumed by…