scientific article; zbMATH DE number 4037224

MaRDI QIDQ3776644zbMATH OpenFDO

Authors F. Krückeberg, Michael Jaxy

Publication date 1987

zbMATH Keywords

flow matrixhomogeneous linear diophantine systeminvariants in Petri netsplace/transition net

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

(17)

• Invariant-preserving Petri net reduction and conditions for invariant- existence
• A Petri net model of a continuous flow transfer line with unreliable machines.
• Invariants of timed Petri nets
• Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells
• 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?)
• P-Semiflow Computation with Decision Diagrams
• scientific article; zbMATH DE number 3985313 (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 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?)
• Analyzing Reachability for Some Petri Nets With Fast Growing Markings
• Petri net analysis using invariant generation
• Minimal generating sets for semiflows
• Proving nonreachability by modulo-invariants

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)