Causal Semantics for BPP Nets with Silent Moves
BPP nets, a subclass of finite Place/Transition Petri nets, are equipped with some causal behavioral semantics, which are variations of fully-concurrent bisimilarity [3], inspired by weak [28] or branching bisimulation [12] on labeled transition systems. Then, we introduce novel, efficiently decidable, distributed semantics, inspired by team bisimulation [17] and h-team bisimulation [19], and show how they relate to these variants of fully-concurrent bisimulation.
Keyword(s):
2010 ◽
Vol 16
(4)
◽
pp. 457-515
◽
Keyword(s):
2006 ◽
Vol 16
(06)
◽
pp. 989
◽
2000 ◽
Vol 243
(1-2)
◽
pp. 409-447
◽
Keyword(s):