ePrints

Memory Optimisation for Multi-Process State Spaces

Lookup NU author(s): Dr Ian Clark

Downloads

Full text is not currently available for this publication.

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: Department of Computing Science Technical Report Series

Year: 2000

Pages: 9

Print publication date: 01/01/2000

Source Publication Date: 2000

Report Number: 689

Institution: Department of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

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

Share