NobleBlocks
    Petri nets: Properties, analysis and applications | NobleBlocks