Petri Nets With Persistence

被引：6

作者：

Crazzolara, Federico ^{[1
]}

Winskel, Glynn ^{[2
]}

机构：

[1] NEC Europe Ltd, C&C Res Labs, St Augustin, Germany

[2] Univ Cambridge, Comp Lab, Cambridge, England

来源：

ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | 2005年 / 121卷

关键词：

Petri Nets; Persistent Conditions; Unfolding;

D O I：

10.1016/j.entcs.2004.10.012

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Persistence of information is common in modern computer systems. This paper describes how to extend Petri nets, a traditional model of concurrent and distributed computations, to take account of conditions that are persistent. We found use for this kind of nets in modelling untrustworthy networks on which messages are exchanged according to a security protocol. The paper explains a construction where persistent conditions are unfolded and a basic net is recovered. Conditions are given under which the unfolded net exhibits the same finite behaviours as the original net with persistence.

引用

页码：143 / 155

页数：13

共 12 条

[1]

[Anonymous], 1987, LNCS, V254

[2]

Christensen S., 1993, LNCS, V691

[3]

Crazzolara F., 2003, BRICS DISSERTATION S

[4]

CRAZZOLARA F, 2001, P 8 ACM C COMP COMM

[5]

JENSEN K, 1981, TCS, V14

[6]

Lakos C., 1994, LNCS, V815

[7]

MONTANARI U, 1995, ACTA INFORM, V32, P545, DOI 10.1007/s002360050026

[8]

Paulson L. C., 1998, Journal of Computer Security, V6, P85

[9]

Reisig W., 1985, EATCS MONOGRAPHS THE, V4, DOI [10.1007/978-3-642-69968-9, DOI 10.1007/978-3-642-69968-9]

[10]

Thayer J., 1998, P 1998 IEEE S SEC PR

← 1 2 →