Toggle Main Menu Toggle Search

Open Access padlockePrints

Memory Optimisation for Multi-Process State Spaces

Lookup NU author(s): Dr Ian Clark



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.

Publication metadata

Author(s): Clark IG

Publication type: Report

Publication status: Published

Series Title: Technical Report Series

Year: 2000

Pages: 9

Report Number: CS-TR-689

Institution: School of Computing Science

Place Published: University of Newcastle upon Tyne