tag : Petri nets
3 publications
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 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