Synthesis of Petri nets with localities
From MaRDI portal
Publication:4621135
Recommendations
- Synthesis problem for Petri nets with localities
- Transition Systems of Elementary Net Systems with Localities
- Minimal regions of ENL-transition systems
- Synthesis of Petri nets with whole-place operations and localities
- Adding a/sync places to the synthesis procedure for whole-place operations nets with localities
Cited in
(14)- Step persistence in the design of GALS systems
- Localities in systems with a/sync communication
- Regions of Petri nets with a/sync connections
- Applying regions
- Synthesis of Petri nets with whole-place operations and localities
- Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen.
- Adding a/sync places to the synthesis procedure for whole-place operations nets with localities
- Transition Systems of Elementary Net Systems with Localities
- scientific article; zbMATH DE number 3902049 (Why is no real title available?)
- A cylinder computation model for many-core parallel computing
- Minimal regions of ENL-transition systems
- Synthesising elementary net systems with localities
- Synthesis problem for Petri nets with localities
- Strategies for minimising the synthesised ENL-systems
This page was built for publication: Synthesis of Petri nets with localities
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4621135)
