scientific article

From MaRDI portal

Revision as of 07:24, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3674068

Jump to:navigation, search

zbMath0523.68046MaRDI QIDQ3674068

Wolfgang Reisig, Goltz, Ursula

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partially ordered sets Petri-nets discreteness nonsequential processes occurrence nets cut-finiteness K-density place/transitions-nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (9)

Petri nets, algebras, morphisms, and compositionality ⋮ Normalization of place/transition-systems preserves net behaviour ⋮ An algebra of concurrent non-deterministic processes ⋮ Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen. ⋮ Synthesis and Analysis of Petri Nets from Causal Specifications ⋮ Causality in Bounded Petri Nets is MSO Definable ⋮ Unifying Petri Net Semantics with Token Flows ⋮ Hasse Diagram Generators and Petri Nets ⋮ Firing partial orders in a Petri net

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3674068&oldid=17142287"