Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems

DOI10.1016/j.ins.2024.121623MaRDI QIDQ6653443

Keyi Xing, S. Ren, Yanxiang Feng, Yikang Yang, Meng Chu Zhou

Publication date: 16 December 2024

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

Petri netsresource allocation systemsliveness-enforcing initial markingsminimum marking configuration

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Resource and cost allocation (including fair division, apportionment, etc.) (91B32)

This page was built for publication: Configuration of liveness-enforcing initial marking with the minimum resources for resource allocation systems