Dataflow semantics for Petri nets (Q5096839)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7573144

Language	Label	Description	Also known as
English	Dataflow semantics for Petri nets	scientific article; zbMATH DE number 7573144

Statements

scholarly article

0 references

Dataflow semantics for Petri nets (English)

0 references

0 references

Mathematical Foundations of Computer Science 1992

0 references

publication date

18 August 2022

0 references

MaRDI profile type

MaRDI publication profile

0 references

Nondeterministic data flow programs: How to avoid the merge anomaly

0 references

Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986

0 references

A compositional dataflow semantics for Petri nets

0 references

0 references

0 references

0 references

Equational reasoning about nondeterministic processes

0 references

0 references

Petri nets with individual tokens

0 references

full work available at URL

https://doi.org/10.1007/3-540-55808-x_26

0 references

Identifiers

zbMATH Open document ID

0 references

10.1007/3-540-55808-X_26

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5096839

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