Net Logic (Enlogy)
摘要
Enlogy is another branch of general nnet theory, that connects a dead transition in a net system with system properties. A transition is dead if and only if it has not even one chance to occur. Dead transitions form a logic system for system property analysis.