REDUCED-STATE SPACE GENERATION OF CONCURRENT SYSTEMS USING WEAK PERSISTENCY

Authors
HIRAISHI K
Citation
K. Hiraishi, REDUCED-STATE SPACE GENERATION OF CONCURRENT SYSTEMS USING WEAK PERSISTENCY, IEICE transactions on fundamentals of electronics, communications and computer science, E77A(10), 1994, pp. 1602-1606
Citations number
NO
Categorie Soggetti
Engineering, Eletrical & Electronic","Computer Science Hardware & Architecture","Computer Science Information Systems
Journal title
IEICE transactions on fundamentals of electronics, communications and computer science → ACNP
ISSN journal
09168508
Volume
E77A
Issue
10
Year of publication
1994
Pages
1602 - 1606
Database
ISI
SICI code
0916-8508(1994)E77A:10<1602:RSGOCS>2.0.ZU;2-P
Abstract
State space explosion is a serious problem in analyzing discrete event systems that allow concurrent occurring of events. A new method is pr oposed for generating reduced state spaces of systems. This method is an improvement of Valmari's stubborn set method. The generated state s pace preserves liveness, livelocks, and terminal states of the ordinar y state space. Petri nets are used as a model of systems, and a method is shown for generating a reduced state space from a given Petri net.