| dbo:abstract
|
- 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). (en)
- WF-сеть (англ. workflow net, также — сеть потоков работ) — вид сети Петри, введённый для моделирования систем потоков работ. Сеть Петри называется сетью потоков работ (WF-сетью), если выполняются следующие условия:
* существует только одна исходная позиция , такая что отсутствуют переходы входящие в ;
* существует только одна конечная позиция , такая что отсутствуют переходы выходящие из ;
* каждый узел данной сети расположен на пути от к . WF-сети используются для проверки графов потоков работ на наличие таких структурных конфликтов, как «тупики» (англ. deadlocks) и «недостатки синхронизации» (англ. lack of synchronization). Структурные конфликты отсутствуют, если WF-сеть является бездефектной. Свойство бездефектности или правильной завершаемости соответствует следующим требованиям:
* конечная позиция достижима при любой последовательности переходов от позиции ;
* WF-сеть не содержит лишних позиций (которые никогда не будут выполнены);
* при достижении конечной позиции данной сети не должно оставаться фишек в промежуточных позициях. Свойство бездефектности соответствует двум хорошо известным свойствам сетей Петри: живости и ограниченности. (ru)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1221 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- 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). (en)
- WF-сеть (англ. workflow net, также — сеть потоков работ) — вид сети Петри, введённый для моделирования систем потоков работ. Сеть Петри называется сетью потоков работ (WF-сетью), если выполняются следующие условия:
* существует только одна исходная позиция , такая что отсутствуют переходы входящие в ;
* существует только одна конечная позиция , такая что отсутствуют переходы выходящие из ;
* каждый узел данной сети расположен на пути от к . Свойство бездефектности или правильной завершаемости соответствует следующим требованиям: (ru)
|
| rdfs:label
|
- Well-formed Petri net (en)
- WF-сеть (ru)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
