Jiri Srba

Identifiers

• name variant Jiri Srba 0.60 · backfill

Papers (2)

1. TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets cs.DC · 2026 · author #3
2. Methods for Efficient Unfolding of Colored Petri Nets cs.LO · 2022 · author #4

Mentions

• 2606.02007 #3 · arxiv_oai · confidence 0.70 Jiri Srba

Frequent Coauthors

• Alexander Bilgram 1 shared papers
• Kim G. Larsen 1 shared papers
• Peter G. Jensen 1 shared papers
• Peter H. Taankvist 1 shared papers
• Tanguy Dubois 1 shared papers
• Thomas Pedersen 1 shared papers