Formalization of semantics of systems with unreliable agents by means of nets of active resources

DOI10.1134/S0361768810040018zbMath1251.68152MaRDI QIDQ1758678

V. A. Bashkin

Publication date: 16 November 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

Petri netsagentsresourcesmodeling of distributed systemsnets of active resources

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Formalization of semantics of systems with unreliable agents by means of nets of active resources