Showing 1 - 3 results of 3 for search 'Roberto Gorrieri', query time: 0.03s Refine Results
  1. 1
    A Process Calculus for Expressing Finite Place/Transition Petri Nets

    A Process Calculus for Expressing Finite Place/Transition Petri Nets by Roberto Gorrieri, Cristian Versari

    Published 2010-11-01
    Get full text
    Article
  2. 2
    Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets

    Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets by Arnaldo Cesco, Roberto Gorrieri

    Published 2023-12-01
    Get full text
    Article
  3. 3
    On the Decidability of Non Interference over Unbounded Petri Nets

    On the Decidability of Non Interference over Unbounded Petri Nets by Eike Best, Philippe Darondeau, Roberto Gorrieri

    Published 2011-02-01
    Get full text
    Article

Search Tools: