petri
2017-01-20 18:51:16 0 举报Petri网是一种数学模型，用于描述并行和分布式系统的动态行为。它由一组节点和有向边组成，可以表示系统中的资源、进程和事件。Petri网具有丰富的性质和分析方法，可以用来验证系统的正确性、性能和安全性。在计算机科学、通信工程和控制理论等领域，Petri网已经成为一种重要的建模工具。
作者其他创作
大纲/内容
fail
AdditionalScreening
place thebag
p2
bag on conveyor belt
N
i
prepare themore item
Y
prepare theless item
Queuing in Pre-Checkentrance
Checkingidentification
t3
queue for regularpassengers
p1
queue for pre-check passengers
Queuing in regular entrance
t1
body screen done
security inspection failed
Load the bag
security inspection succeed
through amillimeter wave scanner
t2
0 条评论
下一页
