scientific article; zbMATH DE number 3905852

MaRDI QIDQ3683542zbMATH OpenFDO

Authors H. Alaiwan, Jean-Michel Toudic

Publication date 1985

zbMATH Keywords

algorithmeliminationinvariantsmodellingstructural analysis

Mathematics Subject Classification ID

Direct numerical methods for linear systems and matrix inversion (65F05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1332966
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Detection of deadlocks and traps in Petri netsby means of Thelen's prime implicant method
• scientific article; zbMATH DE number 4076636
• scientific article; zbMATH DE number 4127001

Cited in

(19)

• Algebraic method of determining nonexistence of deadlock markings in Petri nets
• A polynomial-time algorithm to decide liveness of bounded free choice nets
• Sequential composition of linear systems' clans
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• Composantes préconservatives minimales d'un réseau de Petri : étude structurelle
• Detection of deadlocks and traps in Petri netsby means of Thelen's prime implicant method
• A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
• P-Semiflow Computation with Decision Diagrams
• scientific article; zbMATH DE number 3934416 (Why is no real title available?)
• scientific article; zbMATH DE number 4037224 (Why is no real title available?)
• scientific article; zbMATH DE number 4053029 (Why is no real title available?)
• scientific article; zbMATH DE number 4076636 (Why is no real title available?)
• scientific article; zbMATH DE number 4101227 (Why is no real title available?)
• scientific article; zbMATH DE number 78000 (Why is no real title available?)
• scientific article; zbMATH DE number 1332966 (Why is no real title available?)
• scientific article; zbMATH DE number 867675 (Why is no real title available?)
• An improved algorithm for siphons and minimal siphons in Petri nets based on semi-tensor product of matrices
• Verification of siphons and traps for algebraic Petri nets
• Minimal generating sets for semiflows

This page was built for publication:

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