EXECUTIONS - A NEW PARTIAL-ORDER SEMANTICS OF PETRI NETS

被引：21
作者：
VOGLER, W
机构：
[1] Institut für Informatik, Technische Universität München, D-8000 München 2
来源：
THEORETICAL COMPUTER SCIENCE | 1991年 / 91卷 / 02期
关键词：
D O I：
10.1016/0304-3975(91)90084-F
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Executions, a new partial-order semantics of PIT nets, are defined as a generalization of the processes of safe nets. Various relations between executions and processes are established; especially, it is shown that for each net N there is a safe net SN(N) such that the processes of SN(N) are isomorphic to the executions of N. Furthermore, executions are related to other partial-order semantics of nets in much the same way as processes of safe nets are. It is shown that nets are conflict-free (in some sense) if and only if they have just one maximal execution.
引用
收藏
页码：205 / 238
页数：34
相关论文
共 26 条
[1]   THEORY OF TRACES [J].
AALBERSBERG, IJ ;
ROZENBERG, G .
THEORETICAL COMPUTER SCIENCE, 1988, 60 (01) :1-82
[2]   SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY [J].
BEST, E ;
DEVILLERS, R .
THEORETICAL COMPUTER SCIENCE, 1987, 55 (01) :87-136
[3]  
BEST E, 1985, GMD195 ARB PAP
[4]  
BRAUER W, 1984, PETRI NET NEWSLETTER, V16, P3
[5]  
DEVILLERS R, 1990, LECT NOTES COMPUT SC, V424, P128
[6]  
Genrich H.J., 1980, ADV COURSE NET THEOR, V84, P519, DOI [10.1007/3-540-10001-6_39, DOI 10.1007/3-540-10001-6_39]
[7]  
GENRICH HJ, 1987, LECT NOTES COMPUT SC, V254, P207
[8]   THE NON-SEQUENTIAL BEHAVIOR OF PETRI NETS [J].
GOLTZ, U ;
REISIG, W .
INFORMATION AND CONTROL, 1983, 57 (2-3) :125-147
[9]  
Goltz U., 1986, PETRI NET NEWSLETT, V25, P4
[10]  
Goltz U., 1987, CONCURRENCY NETS ADV, P217, DOI DOI 10.1007/978-3-642-72822-8_15
123