Rbminer: A Tool for Discovering Petri Nets from Transition Systems.

Marc Sol, Josep Carmona

Browse the full ATVA paper archive.