On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets (Q6070613)
From MaRDI portal
scientific article; zbMATH DE number 7770061
Language | Label | Description | Also known as |
---|---|---|---|
English | On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets |
scientific article; zbMATH DE number 7770061 |
Statements
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets (English)
0 references
23 November 2023
0 references
Petri net
0 references
Boolean types
0 references
label-splitting
0 references
edge-removal
0 references
event-removal
0 references
state-removal
0 references
synthesis
0 references
complexity
0 references
0 references