Sequential composition of linear systems' clans (Q2279738): Difference between revisions

@@ Property / DOI @@
-.1016/j.ins.2016.02.016
@@ Property / DOI: 10.1016/j.ins.2016.02.016 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+TINA
@@ Property / describes a project that uses: TINA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CSparse
@@ Property / describes a project that uses: CSparse / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2016.02.016
+Normal rank
@@ Property / OpenAlex ID @@
+W2255347072
@@ Property / OpenAlex ID: W2255347072 / rank @@
+Normal rank
@@ Property / cites work @@
+The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
+Normal rank
@@ Property / cites work @@
+Q5706832
@@ Property / cites work: Q5706832 / rank @@
+Normal rank
@@ Property / cites work @@
+Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
+Normal rank
@@ Property / cites work @@
+An efficient incremental algorithm for solving systems of linear diophantine equations
+Normal rank
@@ Property / cites work @@
+Direct Methods for Sparse Linear Systems
@@ Property / cites work: Direct Methods for Sparse Linear Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On efficient sparse integer matrix Smith normal form computations
+Normal rank
@@ Property / cites work @@
+An Improved Spectral Graph Partitioning Algorithm for Mapping Parallel Computations
+Normal rank
@@ Property / cites work @@
+A Fast and High Quality Multilevel Scheme for Partitioning Irregular Graphs
+Normal rank
@@ Property / cites work @@
+Robustness of deadlock control for a class of Petri nets with unreliable resources
+Normal rank
@@ Property / cites work @@
+Q2768030
@@ Property / cites work: Q2768030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821599
@@ Property / cites work: Q3821599 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220521
@@ Property / cites work: Q4220521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799720
@@ Property / cites work: Q4799720 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Application of Graphs
@@ Property / cites work: Theory and Application of Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On parallel multisplitting block iterative methods for linear systems arising in the numerical solution of Euler equations
+Normal rank
@@ Property / DOI @@
+.1016/J.INS.2016.02.016
@@ Property / DOI: 10.1016/J.INS.2016.02.016 / rank @@
+Normal rank