Submarking reachability of marked graphs

DOI10.1109/TCS.1984.1085479zbMath0558.68056OpenAlexW2096395332MaRDI QIDQ3347316

Mitsuhiro Kitagawa, Sadatoshi Kumagai, Shinzo Kodama

Publication date: 1984

Published in: IEEE Transactions on Circuits and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tcs.1984.1085479

zbMATH Keywords

minimum firing count vectorsequential control problemsshortest firing sequence

Mathematics Subject Classification ID

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

This page was built for publication: Submarking reachability of marked graphs