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

DOI10.1007/S10559-011-9303-9zbMATH Open1298.68271OpenAlexW2054640521MaRDI QIDQ464873FDOQ464873

Authors: Vladimir 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

Recommendations

• Nets of active resources for distributed systems modeling
• scientific article; zbMATH DE number 1822264
• Formalization of semantics of systems with unreliable agents by means of nets of active resources
• scientific article; zbMATH DE number 1515290
• Resource Driven Automata Nets

zbMATH Keywords

verificationmodelingPetri netmultiagent system

Mathematics Subject Classification ID

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

Cites Work

• Coloured Petri Nets
• Nets of active resources for distributed systems modeling
• Nested Petri nets: modeling and analysis of distributed systems with object structure

Cited In (8)

• Nets of active resources for distributed systems modeling
• Decidability of $$k$$-Soundness for Workflow Nets with an Unbounded Resource
• Title not available (Why is that?)
• Formalization of semantics of systems with unreliable agents by means of nets of active resources
• Title not available (Why is that?)
• Multi-agent interaction models for constructing the needs-and-means networks in open systems
• Title not available (Why is that?)
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q464873)