Dynamic Networks of Timed Petri Nets (Q5166770)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 6314351

Language	Label	Description	Also known as
English	Dynamic Networks of Timed Petri Nets	scientific article; zbMATH DE number 6314351

Statements

scholarly article

0 references

Dynamic Networks of Timed Petri Nets (English)

0 references

María Martos-Salgado

0 references

Fernando Rosa-Velardo

0 references

Application and Theory of Petri Nets and Concurrency

0 references

publication date

8 July 2014

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-319-07734-5_16

0 references

Algorithmic analysis of programs with well quasi-ordered domains.

0 references

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

0 references

Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness

0 references

0 references

0 references

0 references

Well-structured transition systems everywhere!

0 references

0 references

The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets

0 references

Ordering by Divisibility in Abstract Algebras

0 references

Localities in systems with a/sync communication

0 references

0 references

Expressiveness of Dynamic Networks of Timed Petri Nets

0 references

Recoverability of Communication Protocols--Implications of a Theoretical Study

0 references

0 references

Decidability and complexity of Petri nets with unordered data

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/978-3-319-07734-5_16

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5166770

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