1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias, Kyungmin Bae, Carlos Olarte +3
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a…
cs.LO2014
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications
Shang-Wei Lin, Laure Petrucci
This volume contains the proceedings of the 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA'14). The workshop was held in Singapore on May 13th, 2014, as…