Send the link below via email or IMCopy
Present to your audienceStart remote presentation
- Invited audience members will follow you as you navigate and present
- People invited to a presentation do not need a Prezi account
- This link expires 10 minutes after you close the presentation
- A maximum of 30 users can follow your presentation
- Learn more about this feature in our knowledge base article
Do you really want to delete this prezi?
Neither you, nor the coeditors you shared it with will be able to recover it again.
Make your likes visible on Facebook?
You can change this under Settings & Account at any time.
Master thesis defense
Transcript of Master thesis defense
Supply Chain Management
Master Thesis Defense
Chair: Prof. Dr.Marijn Janssen
First supervisor: Dr. Huib Aldewereld
Second supervisor: Dr. Michel Oey
Third supervisor: Jie Jiang
Deontic type (P, F, O)
Role-Action Pair (Rap)
If a student got an average grade higher than 8 for all the courses, and a grade higher than 8.5 for the thesis, then he/she could apply for the honored graduate before deregistration from the university.
Example (a norm)
Rap: (student, apply for a honored graduate)
(student, get 8+ average grade for exams)
(student, get 8.5+ for thesis)
(student, deregister from the university)
Formula: (student, get 8+ average grade for exams) ^ (student, get 8.5+ for thesis)
Target:( sutdent, apply for honored graduate)
Precondition: ( student, get 8+ average grade for exams) ^ (applicant, get 8.5+ for thesis)
Deadline: (student, deregister from the university)
Deontic type: permission
a) Connections are directed.
b) No connections between two places or two transitions.
c) Places may hold zero or more tokens.
d) A transition is enabled if each of its input places contains at least one token.
CPN is our analysis tool !!
Norm Nets is the model of regulation!!
Meta model of Norm Nets
Limitation in case study
Only one ninth of an iceberg floats above the water !!
Shuzheng Wang (4179595)
Complexity of the problem
Complexity of the regulation
Interdependence among regulations
One violation was found
It was avoided in the declaration management system in the implementation process.