4 citations · 4 across the 7 of their papers we have counts for
1 paper · 1 filter
Achiya Elyasaf, Tom Yaacov, Gera Weiss
We identify and demonstrate a weakness of Petri Nets (PN) in specifying composite behavior of reactive systems. Specifically, we show how, when specifying multiple requirements in…