31 citations · 56 across the 19 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Deciding structural liveness of Petri nets
Petr Jancar
Place/transition Petri nets are a standard model for a class of distributed systems whose reachability spaces might be infinite. One of well-studied topics is the verification of s…
cs.LO2016★ 1 cited
Branching Bisimilarity of Normed BPA Processes as a Rational Monoid
Petr Jancar
The paper presents an elaborated and simplified version of the structural result for branching bisimilarity on normed BPA (Basic Process Algebra) processes that was the crux of a c…