Modal algebra and Petri nets

Han-Hing Dang, Bernhard Möller. Modal algebra and Petri nets. Acta Informatica, 52(2-3):109-132, 2015. [doi]

Abstract

Abstract is missing.