Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems (Q3560559)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems |
scientific article |
Statements
Free-Choice Petri Nets without Frozen Tokens, and Bipolar Synchronization Systems (English)
0 references
14 May 2010
0 references
free-choice system
0 references
Petri net morphism
0 references
structurally free of blocking
0 references