tag : Petri nets
3 publications / Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2007) — Mirko Viroli, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (2004) — Mirko Viroli, Andrea Omicini
Expressive Power of the ACLT Reaction Specification Language (1997) — Enrico Denti, Antonio Natali, Andrea Omicini