scientific article; zbMATH DE number 3829262

zbMATH Open0523.68046MaRDI QIDQ3674068FDOQ3674068

Wolfgang Reisig, Ursula Goltz

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

partially ordered setsdiscretenessPetri-netsnonsequential processesoccurrence netscut-finitenessK-densityplace/transitions-nets

Mathematics Subject Classification ID

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

Cited In (10)

• Petri nets, algebras, morphisms, and compositionality
• Unifying Petri Net Semantics with Token Flows
• Firing partial orders in a Petri net
• Normalization of place/transition-systems preserves net behaviour
• Hasse Diagram Generators and Petri Nets
• Synthesis and Analysis of Petri Nets from Causal Specifications
• 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.
• Causality in Bounded Petri Nets is MSO Definable
• An algebra of concurrent non-deterministic processes
• Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3674068)