Sequential composition of linear systems' clans

DOI10.1016/J.INS.2016.02.016MaRDI QIDQ2279738zbMATH OpenOpenAlexFDO

Authors Dmitry A. Zaitsev

Publication date 13 December 2019

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2016.02.016

zbMATH Keywords

clancollapse of weighted graphdeadlock controlPetri netsequential compositionsparse linear system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• scientific article; zbMATH DE number 3905852
• Deadlock analysis and control using Petri net decomposition techniques
• Computation of strict minimal siphons in a class of Petri nets based on problem decomposition
• Compositional analysis of Petri nets
• scientific article; zbMATH DE number 969979

Cites work

• A Fast and High Quality Multilevel Scheme for Partitioning Irregular Graphs
• An efficient incremental algorithm for solving systems of linear diophantine equations
• An Improved Spectral Graph Partitioning Algorithm for Mapping Parallel Computations
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Direct Methods for Sparse Linear Systems
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 4094832 (Why is no real title available?)
• scientific article; zbMATH DE number 1226426 (Why is no real title available?)
• scientific article; zbMATH DE number 1888462 (Why is no real title available?)
• scientific article; zbMATH DE number 2231543 (Why is no real title available?)
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• On efficient sparse integer matrix Smith normal form computations
• On parallel multisplitting block iterative methods for linear systems arising in the numerical solution of Euler equations
• Parallel iterative methods for sparse linear systems
• Robustness of deadlock control for a class of Petri nets with unreliable resources
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Theory and Application of Graphs

Cited in

(1)

• Structural analysis and sequential resolution for estimation of guaranteed horizons in partially observable Petri nets

Describes a project that uses

Uses Software

• TINA
• CSparse

This page was built for publication: Sequential composition of linear systems' clans

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279738)