Enrichment of Object Oriented Petri Net and Object Z Aiming at Business Process Optimization Journal title: International Journal of Advanced Computer Science & Applications Authors: Aliasghar Ahmadikatouli, Homayoon Motameni Subject(s):
Enhancing Formal Methods Integration with ACP2Petri Journal title: Journal of Information and Organizational Sciences Authors: Slavomír Šimoňák, Martin Šolc Subject(s): Computer and Information Science, Information Technology, Computer Science, Information Systems
