Browse by author
Lookup NU author(s): Dr Ian Clark
Full text is not currently available for this publication.
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.
Author(s): Clark IG
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
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