17 citations · 23 across the 2 of their papers we have counts for
2 papers
cs.CR2011★ 17 cited
On the Decidability of Non Interference over Unbounded Petri Nets
Eike Best, Philippe Darondeau, Roberto Gorrieri
Non-interference, in transitive or intransitive form, is defined here over unbounded (Place/Transition) Petri nets. The definitions are adaptations of similar, well-accepted defini…
cs.LO2010★ 6 cited
A Process Calculus for Expressing Finite Place/Transition Petri Nets
Roberto Gorrieri, Cristian Versari
We introduce the process calculus Multi-CCS, which extends conservatively CCS with an operator of strong prefixing able to model atomic sequences of actions as well as multiparty s…