REGULAR STATE MACHINES
作者:
LOTHAR THIELE,
JÜRGEN TEICH,
KARSTEN STREHL,
期刊:
Parallel Algorithms and Applications
(Taylor Available online 2000)
卷期:
Volume 15,
issue 3-4
页码: 265-300
ISSN:1063-7192
年代: 2000
DOI:10.1080/01495730008945375
出版商: Taylor & Francis Group
关键词: State transition system;Model of computation;Infinite state;Scheduling;Formal verification;Petri net;F.l.l.;Models of Computation;D.2.2. Design Tools and Techniques
数据来源: Taylor
摘要:
In this paper, we introduce a model called regular state machines (RSMs) that characterizes a class of state transition systems with regular transition behavior. It turns out that many process graph models such as synchronous dataflow graphs and Petri nets have a state transition system that may be described and analyzed in the RSM model.
点击下载:
PDF (1026KB)
返 回