Reduced State Space Generation of Concurrent Systems Using Weak Persistency (Special Section on Net Theory and Its Applications)
スポンサーリンク
概要
- 論文の詳細を見る
State space explosion is a serious problem in analyzing discrete event systems that allow concurrent occurring of events. A new method is proposed for generating reduced state spaces of systems. This method is an improvement of Valmari's stubborn set method. The generated state space preserves liveness, livelocks, and terminal states of the ordinary 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.
- 社団法人電子情報通信学会の論文
- 1994-10-25
著者
-
HIRAISHI Kunihiko
School of Information Science, Japan Advanced Institute of Science and Technology
-
Hiraishi Kunihiko
School Of Information Science Japan Advanced Institute Of Science And
関連論文
- Inkdot versus Pebble over Two-Dimensional Languages
- Application of DES Theory to Verification of Software Components
- Reduced State Space Generation of Concurrent Systems Using Weak Persistency (Special Section on Net Theory and Its Applications)
- Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds
- A Heuristic Algorithm for One-Machine Just-In-Time Scheduling Problem with Periodic Time Slots
- Scheduling of parallel identical machines to maximize the weighted number
- On Symbolic Model Checking in Petri Nets
- The completeness of linear logic for petri net models
- The completeness of linear logic with modal operator for Petri net models
- Construction of Rule Base for the Control of Discrete Event Dynamic
- A Polynomial Time Algorithm for a Just-In-Time Scheduling Problem with Periodic Time Slots
- AS-3-3 A Workflow-based Change Support Model for Collaborative Software Development
- KCLP-HS: a rapid prototyping tool for implementing algorithms on hybrid systems
- A Petri-Net-Based Model for the Mathematical Analysis of Multi-Agent Systems
- Application of Interval Methods to Sampled-Data Control of Uncertain Piecewise Affine Systems