Enrichment of Object Oriented Petri Net and Object Z Aiming at Business Process Optimization
International journal of advanced computer science and applications/International journal of advanced computer science & applications