Abstract Simulation of Petri Nets in Rule-Based Expert System Shell Academic Article