Memory Optimisation for Multi-Process State Spaces
IG Clark · 2000
The state space explosion problem in Petri Net analysis is well known. This problem limits the size of system that can be modelled and analysed given the limited memory resources available on most modern computers. This report introduces an optimisation that can be implemented if the system being analysed has multiple processes which are sequential internally but concurrent externally.