tag : Petri nets
4 publications
PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets () — Zdeněk Mazal, Radek Kočí, Vladimír Janoušek, František Zbořil 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