On the Upward/Downward Closures of Petri Nets.
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
Browse the full MFCS paper archive.
Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, Prakash Saivasan
Browse the full MFCS paper archive.