Issue #41 (refactoring of original Petri nets example): Refactored basic analyses, but still work in progress (not tested yet).
Issue #41 (refactoring of original Petri nets example): Refactored basic analyses, but still work in progress (not tested yet).

otherwiseopen/racr,2bt/racr,otherwiseopen/racr,otherwiseopen/racr,otherwiseopen/racr,christoff-buerger/racr,2bt/racr,2bt/racr,2bt/racr,2bt/racr,christoff-buerger/racr,christoff-buerger/racr,otherwiseopen/racr,otherwiseopen/racr,2bt/racr