scientific article; zbMATH DE number 4037224

MaRDI QIDQ3776644zbMATH OpenFDO

Authors F. Krückeberg, Michael Jaxy

Publication date 1987

zbMATH Keywords

place/transition netflow matrixhomogeneous linear diophantine systeminvariants in Petri nets

Mathematics Subject Classification ID

Linear equations (linear algebraic aspects) (15A06) Matrices of integers (15B36) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4076636
• scientific article; zbMATH DE number 4127001
• Invariants of timed Petri nets
• scientific article; zbMATH DE number 3905852
• scientific article; zbMATH DE number 3890746

Cited in

(16)

• Petri net analysis using invariant generation
• P-Semiflow Computation with Decision Diagrams
• scientific article; zbMATH DE number 4053029 (Why is no real title available?)
• Invariant-preserving Petri net reduction and conditions for invariant- existence
• Invariants of timed Petri nets
• Analyzing Reachability for Some Petri Nets With Fast Growing Markings
• Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells
• scientific article; zbMATH DE number 4094832 (Why is no real title available?)
• Résolution paramétrée de familles de systèmes linéaires
• scientific article; zbMATH DE number 4127001 (Why is no real title available?)
• On acceleration of calculations of estimation of structural invariants for \(CN_I\)-network component analysis
• scientific article; zbMATH DE number 3890746 (Why is no real title available?)
• scientific article; zbMATH DE number 4076636 (Why is no real title available?)
• A Petri net model of a continuous flow transfer line with unreliable machines.
• scientific article; zbMATH DE number 3985313 (Why is no real title available?)
• 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 Q3776644)