A case of study for our course in Formal Methods of Computer Science Master Degree
Download the dataset used to https://data.4tu.nl/datasets/0fc5c579-e544-4fab-9143-fab1f5192432
nicolabalzano/ProcessMiningPetriNet
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|