ePrints

Memory Optimisation for Multi-Process State Spaces

Lookup NU author(s): Dr Ian Clark

Downloads

• Published version [.pdf]

Abstract

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

URL: http://www.cs.newcastle.ac.uk/publications/trs/papers/689.pdf

Share