scientific article; zbMATH DE number 4024804
From MaRDI portal
Publication:3766865
Recommendations
Cited in
(18)- Marking fairness in Petri nets
- Problems concerning fairness and temporal logic for conflict-free Petri nets
- \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
- Fair Petri nets and structural induction for rings of processes
- Communicating processes, scheduling, and the complexity of nontermination
- scientific article; zbMATH DE number 4215384 (Why is no real title available?)
- Termination Problems in Chemical Kinetics
- scientific article; zbMATH DE number 3911720 (Why is no real title available?)
- scientific article; zbMATH DE number 4070338 (Why is no real title available?)
- scientific article; zbMATH DE number 4076637 (Why is no real title available?)
- scientific article; zbMATH DE number 4096790 (Why is no real title available?)
- scientific article; zbMATH DE number 1927585 (Why is no real title available?)
- scientific article; zbMATH DE number 4117879 (Why is no real title available?)
- Decidability of weak fairness in Petri nets
- Exhibition of a structural bug with wings
- Global and local views of state fairness
- A taxonomy of fairness and temporal logic problems for Petri nets
- Decidability of a temporal logic problem for Petri nets
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 Q3766865)
