Petri Nets for Modeling of Large Discrete Systems

Reggie Davidrajuh has a Bachelor's study in Physics, a Master's degree in Control Systems, and a Ph.D. in Industrial Engineering (awarded by the Norwegian University of Science and Technology). Also, he has a D.Sc. (habilitation) degree in Information Science (AGH University of Science and Technology) and one more Ph.D. in Mechanical Engineering (Silesian University of Technology). He is presently a professor of Informatics at the University of Stavanger, Norway, and holds a visiting professor position at the Silesian University of Technology, Poland.Dr. Davidrajuh is an editor of the journal "International Journal of Business and Systems Research". Also, he serves on the editorial committees of many journals that include "Expert Systems with Applications" (Elsevier) and "Archives of Control Sciences" (a Quarterly of Polish Academy of Sciences). Dr. Davidrajuh has published over 150 publications in diverse areas such as supply chain, e-commerce, e-government, modeling and simulation, discrete event systems, green power generation, etc. His three papers won the best paper awards: "Modeling humanoid robot as a discrete event system" at the IEEE Third International Conference on Artificial Intelligence, Modeling, and Simulation (AIMS2015), in December 2015, in Kuala Lumpur; "GPenSIM for Performance Evaluation of Event Graphs" at the International Scientific and Technical Conference on Manufacturing (Manufacturing 2017), in October 2017, in Poznan, Poland; "Measuring Network Centrality in Petri Nets" at the 2018 IEEE International Conference on Advanced Manufacturing (ICAM), in November 2018, in Yunlin, Taiwan.  He has organized over 60 international conferences and has given keynote speeches in four conferences. His current research interests are "Modeling, simulation, and performance analysis of discrete-event systems", Algorithms, and Graph Theory. He is a senior member of IEEE and a Fellow of the British Computer Society. He is also a member of the Norwegian Academy of Technical Sciences.

• Introduction to Petri nets.- Introduction to GPenSIM.- Models of Real-Life Systems.- GPenSIM for Monolithic Petri nets.- Literature Review on Modular Petri nets.- Towards Developing a New Modular Petri net.- Design of a New Modular Petri nets.- GPenSIM Support for Petri Modules.- Module Extraction.- Activity-Oriented Petri nets (AOPN).