| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
didattica:magistrale:bpmf:ay_1617:main [2016/12/15 09:30] barbara [Slides And Materials] |
didattica:magistrale:bpmf:ay_1617:main [2020/09/17 16:55] (current) |
||
|---|---|---|---|
| Line 90: | Line 90: | ||
| * Process Verification | * Process Verification | ||
| * {{ :didattica:magistrale:bpmf:ay_1617:class7_-_petrinets_mapping_salvato_automaticamente_.pdf |Mapping in Petri-Nets}} | * {{ :didattica:magistrale:bpmf:ay_1617:class7_-_petrinets_mapping_salvato_automaticamente_.pdf |Mapping in Petri-Nets}} | ||
| + | * {{ :didattica:magistrale:bpmf:ay_1617:class7_-_petrinets_mapping.pdf |PEtri}} | ||
| * {{ :didattica:magistrale:bpmf:ay_1617:class8_-_verification.pdf | Properties Verification}} | * {{ :didattica:magistrale:bpmf:ay_1617:class8_-_verification.pdf | Properties Verification}} | ||
| * {{ :didattica:magistrale:bpmf:ay_1617:class9_-_compliance.pdf | Compliance Verification}} | * {{ :didattica:magistrale:bpmf:ay_1617:class9_-_compliance.pdf | Compliance Verification}} | ||
