A slicing-based approach to enhance Petri net reachability analysis

Cited 13 time in webofscience Cited 0 time in scopus
  • Hit : 286
  • Download : 0
Reachability graph analysis is one of the most widely used techniques to verify the behaviour of asynchronous and concurrent systems modeled in Petri nets. Unfortunately a state explosion problem is often the bottleneck when applying Petri net modeling and analysis to large and complex industrial systems. This paper proposes an approach in which Petri net slices are computed based on structural concurrency inherent in the P/T net and compositional reachability graph analysis is performed Petri net slices are proven to provide behavioural equivalence to P/T nets. This approach may enable verification of properties such as boundedness and liveness which may fail on unsliced P/T nets due to a state explosion problem. Effectiveness and scalability of our approach is demonstrated using both dining philosophers and feature interaction problems found in telecommunication software.
Publisher
Australian Computer Soc Inc
Issue Date
2000-05
Language
English
Article Type
Editorial Material
Keywords

TIME-CRITICAL SYSTEMS

Citation

JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.32, no.2, pp.131 - 143

ISSN
1443-458X
URI
http://hdl.handle.net/10203/70295
Appears in Collection
CS-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 13 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0