期刊
FORMAL METHODS IN SYSTEM DESIGN
卷 43, 期 3, 页码 493-519出版社
SPRINGER
DOI: 10.1007/s10703-013-0188-2
关键词
Time Petri nets; Unfoldings; Stopwatches; Parameters
资金
- ANR [ANR-2010-BLAN-0317]
We address the problem of unfolding safe parametric stopwatch time Petri nets (PSwPNs), i.e., safe time Petri nets (TPNs) possibly extended with time parameters and stopwatches. We extend the notion of branching process to account for the dates of the occurrences of events and thus define a symbolic unfolding for PSwPNs. In the case of TPNs we also propose a method based on our so-called time branching processes to compute a finite complete prefix of the symbolic unfolding. The originality of our work relies on a precise handling of direct conflicts between events, and the analysis of their effects on the constraints between the firing dates of those events.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据