scientific article; zbMATH DE number 4037224
From MaRDI portal
Publication:3776644
zbMATH Open0636.68071MaRDI QIDQ3776644FDOQ3776644
Authors: F. Krückeberg, Michael Jaxy
Publication date: 1987
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (16)
- Petri net analysis using invariant generation
- P-Semiflow Computation with Decision Diagrams
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Résolution paramétrée de familles de systèmes linéaires
- Title not available (Why is that?)
- On acceleration of calculations of estimation of structural invariants for \(CN_I\)-network component analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Petri net model of a continuous flow transfer line with unreliable machines.
- 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)