On Yen s Path Logic for Petri Nets

Mohamed Faouzi Atig, Peter Habermehl. On Yen s Path Logic for Petri Nets. Int. J. Found. Comput. Sci., 22(4):783-799, 2011. [doi]

Abstract

Abstract is missing.