Tag Cloud
Tag Cloud
4
documents
/
tag : Petri nets
/
ReSpecT
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini
Expressive Power of the ACLT Reaction Specification Language (technical report, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, Andrea Omicini
Implementazione automatica di protocolli di interazione AUML mediante reti di Petri (28/03/2012) — Marco Alberti