scientific article
From MaRDI portal
Publication:3883515
zbMath0441.68064MaRDI QIDQ3883515
Kurt Lautenbach, P. S. Thiagarajan, Hartmann J. Genrich
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items
Clustering for Petri nets ⋮ Concurrent histories: a basis for observing distributed systems ⋮ An algebra of processes ⋮ Sequential and concurrent behaviour in Petri net theory ⋮ System modelling with high-level Petri nets ⋮ Petri nets and regular languages ⋮ Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems ⋮ An algebraic description of system behaviours ⋮ Unnamed Item ⋮ Infinite behaviour of Petri nets ⋮ An interval algorithm for solving systems of linear equations to prespecified accuracy ⋮ Three measures for synchronic dependence in Petri nets ⋮ Subset languages of Petri nets. I: The relationship to string languages and normal forms ⋮ Performance evaluation of concurrent systems using Petri nets ⋮ A theory of bipolar synchronization scheme ⋮ Fair relation and modified synchronic distances in a Petri net
