An Improved Construction of Petri Net Unfoldings

Bibliographic Details
Main Authors: Rodríguez, C, Schwoon, S
Format: Conference item
Published: Leibniz−Zentrum für Informatik 2013