scientific article; zbMATH DE number 3829262

MaRDI QIDQ3674068zbMATH OpenFDO

Authors Ursula Goltz, Wolfgang Reisig

Publication date 1983

zbMATH Keywords

cut-finitenessdiscretenessK-densitynonsequential processesoccurrence netspartially ordered setsPetri-netsplace/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
• An algebra of concurrent non-deterministic processes
• Firing partial orders in a Petri net
• Causality in bounded Petri nets is MSO definable
• Unifying Petri Net Semantics with Token Flows
• Normalization of place/transition-systems preserves net behaviour
• 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.
• Hasse Diagram Generators and Petri Nets
• Synthesis and Analysis of Petri Nets from Causal Specifications
• 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)