Modal Open Petri Nets (Q6184717)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7796209

Language	Label	Description	Also known as
English	Modal Open Petri Nets	scientific article; zbMATH DE number 7796209

Statements

scholarly article

0 references

Modal Open Petri Nets (English)

0 references

0 references

0 references

Application and Theory of Petri Nets and Concurrency

0 references

publication date

29 January 2024

0 references

MaRDI profile type

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/978-3-030-21571-2_2

0 references

0 references

Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets

0 references

On Weak Modal Compatibility, Refinement, and the MIO Workbench

0 references

Nondeterministic modal interfaces

0 references

Refinement and Asynchronous Composition of Modal Petri Nets

0 references

Specification of Asynchronous Component Systems with Modal I/O-Petri Nets

0 references

0 references

0 references

Deterministic buffer synchronization of sequential processes

0 references

A trace-based service semantics guaranteeing deadlock freedom

0 references

0 references

Modular construction and partial order semantics of Petri nets

0 references

Identifiers

10.1007/978-3-030-21571-2_2

0 references

Mathematics Subject Classification ID

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:6184717

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