No label defined (Q6191021)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7802079

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7802079

Statements

scholarly article

0 references

0 references

0 references

0 references

0 references

Nick Würdemann

0 references

publication date

8 February 2024

0 references

full work available at URL

https://arxiv.org/abs/2209.10323

0 references

https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GandALF2022.12

0 references

MaRDI profile type

MaRDI publication profile

0 references

True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures

0 references

Concurrency in Boolean networks

0 references

Unfoldings: A partial-order approach to model checking.

0 references

An improvement of McMillan's unfolding algorithm

0 references

Control of safe ordinary Petri nets using unfolding

0 references

Drawing the line: basin boundaries in safe Petri nets

0 references

Supervisory control of concurrent systems. A Petri net structural approach.

0 references

Control of multistability

0 references

Petri nets semantics of reaction rules (RR). A language for ecosystems modelling

0 references

Positive and negative cycles in Boolean networks

0 references

Dynamical behaviour of biological regulatory networks. II: Immunity control in bacteriophage lambda

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

0 references

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6191021

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6191021&oldid=37629342"