Java source of the software that can be used to simulate the fulfillment or violation of Norm01. Norm01 is an example of a norm that regulates accesses to a limited traffic area and is formalized using the TNorm model presented in the following paper:
Fornara, N., Roshankish, S., Colombetti, M. (2022). A Framework for Automatic Monitoring of Norms that Regulate Time Constrained Actions. In: Theodorou, A., Nieves, J.C., De Vos, M. (eds) Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV. COINE 2021. Lecture Notes in Computer Science(), vol 13239. Springer, Cham. https://doi.org/10.1007/978-3-031-16617-4_2
File myRules.rules contains the productions rules that represent Norm01.
File eventToWrite.owl contains the results of the simuation of Norm01 when 4 access actions to the limited traffic area and 1 pay action are performed.