scientific article

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 setsPetri-netsdiscretenessnonsequential 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)

Related Items

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., 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