Refinement of coloured petri nets

Author(s):  
Eike Best ◽  
Thomas Thielke
Author(s):  
Manuel Cheminod ◽  
Ivan Cibrario Bertolotti ◽  
Luca Durante ◽  
Adriano Valenzano

IEEE Access ◽  
2021 ◽  
Vol 9 ◽  
pp. 143434-143447
Author(s):  
Muhammad Nauman ◽  
Nadeem Akhtar ◽  
Omar H. Alhazmi ◽  
Mustafa Hameed ◽  
Habib Ullah ◽  
...  

2018 ◽  
Vol 7 (1) ◽  
pp. 102-112 ◽  
Author(s):  
Imam Mukhlash ◽  
Widya Nilam Rumana ◽  
Dieky Adzkiya ◽  
Riyanarto Sarno

The quality of information systems affects the company's business performance. Therefore, it is necessary to analyze business processes to determine any discrepancies between the planned business processes and the actual ones. Based on the results of this analysis, the business process can be improved. The fundamental factor of manufacturing companies is production process. In reality, there are many discrepancies between the actual business processes with the pre-planned, so that there should be analyzed. The analysis can be performed by modeling the business process using Coloured Petri Nets (CPN). In this study, the objectives are to determine the level of conformance checking of business processes, reachability graph and the bottleneck analysis. The results of the analysis are used to construct a recommended model. Based on the analysis of the case study, e.g. a steel industry in Indonesia, the recommended model has a better value than initial model.


Sign in / Sign up

Export Citation Format

Share Document