10 citations · 25 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021★ 4 cited
Regulated Multiset Rewriting Systems
Matej Troják, Samuel Pastva, David Šafránek +1
Multiset rewriting systems provide a formalism particularly suitable for the description of biological systems. We present an extension of this formalism with additional controls o…
cs.DS2021★ 3 cited
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Nikola Beneš, Luboš Brim, Samuel Pastva +1
Edge-coloured directed graphs provide an essential structure for modelling and analysis of complex systems arising in many scientific disciplines (e.g. feature-oriented systems, ge…