| 词条 | Well-formed Petri net |
| 释义 |
Well-formed Petri nets are a Petri net class jointly elaborated between the University of Paris 6 (Université P. & M. Curie) and the University of Torino in the early 1990s. It is a restriction of the high-level nets (or colored Nets) introduced by K. Jensen. The main advantage of Well Formed Nets is the notion of symbolic reachability graph that is composed of symbolic states. A symbolic state is a state representing several concrete states in the state space of the system described by the Petri net. So, much larger state spaces can be represented (the gain factor can be up to exponential). This notion of symbolic state space requires that only a limited set of operators are available (identify, broadcast, successor and predecessor functions are allowed on circular finite types). References
1 : Petri nets |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。