133 citations · 315 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017
Behavioural equivalences for fluid stochastic Petri nets
Igor V. Tarasyuk, Peter Buchholz
We propose fluid equivalences to compare and reduce behaviour of labeled fluid stochastic Petri nets (LFSPNs) while preserving their discrete and continuous properties. We define a…
cs.LO2003★ 3 cited
Model Checking for a Class of Weighted Automata
Peter Buchholz, Peter Kemper
A large number of different model checking approaches has been proposed during the last decade. The different approaches are applicable to different model types including untimed,…