Abstract Simulation of Petri Nets in Rule-Based Expert System Shell Journal Articles