tag : Petri nets

3 publications
page_white_acrobat PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets (paper in proceedings, 2008) — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil
page_white_acrobat ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications (paper in proceedings, 2004) — Mirko Viroli, Andrea Omicini
page_white_acrobat Expressive Power of the ACLT Reaction Specification Language (technical report, 1997) — Enrico Denti, Antonio Natali, Andrea Omicini

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY