Tag Cloud

Tag Cloud

4 documents  /  tag : Petri nets  /  ReSpecT
page_white_acrobatReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini
page_white_acrobatExpressive Power of the ACLT Reaction Specification Language (technical report, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini
page_white_acrobatReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2007) — Mirko Viroli, Andrea Omicini