Modelling multiagent systems with the help of generalized nets of active resources

DOI10.1007/S10559-011-9303-9zbMath1298.68271OpenAlexW2054640521MaRDI QIDQ464873

V. A. Bashkin, Irina A. Lomazova

Publication date: 30 October 2014

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10559-011-9303-9

zbMATH Keywords

verificationmodelingPetri netmultiagent system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Agent technology and artificial intelligence (68T42)

Related Items (1)

Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource

Cites Work

• Unnamed Item
• Unnamed Item
• Coloured Petri Nets

This page was built for publication: Modelling multiagent systems with the help of generalized nets of active resources