scientific article

zbMath0415.68025MaRDI QIDQ3051391

Ruediger Valk

Publication date: 1978

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

zbMATH Keywords

Petri netsconcurrencyself-modifying netsbuffer/transactor netsdecidability of reachability and boundednessflow of tokensinclusion of languages

Mathematics Subject Classification ID

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

Related Items (18)

Stratified petri nets ⋮ S- and T-invariants in cyber net systems ⋮ Petri nets for modelling metabolic pathways: a survey ⋮ Dynamic Recursive Petri Nets ⋮ Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights ⋮ Unnamed Item ⋮ Preface: Petri nets for systems and synthetic biology ⋮ Recursive Petri nets ⋮ How Might Petri Nets Enhance Your Systems Biology Toolkit ⋮ Preface: Petri nets for systems and synthetic biology ⋮ Computable fixpoints in well-structured symbolic model checking ⋮ Petri net models for the semi-automatic construction of large scale biological networks ⋮ A well-structured framework for analysing Petri net extensions ⋮ Well-structured transition systems everywhere! ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets

This page was built for publication: