从网的关联矩阵以及所定义变迁发生序列的结构,求解结构活网的极小标识,得到了一个多项式时间算法。
A polynomial algorithm about minimal marking of structural live Petri nets is presented, it is based on incidence matrix and the constructive of transitions sequence.
首先它提出将河床网作为一个活的有机体扩展并渗透到整个市中心。
Basically it proposes a riverbed mesh that is extended and infiltrates through the entire downtown, as if it were a living organism.
她说:“我们看到许多活的生物是我们从来没见过的,”当我们把网拉起来,上门布满了许多珍贵的深海栖息生物,那真是让人着迷兴奋的一刻啊。
"We saw animals alive that no one has ever seen," she says. Pulling up the nets filled with so many rare denizens of the super-deep, she says, was "mesmerizing."
应用推荐