Publication:3883515
From MaRDI portal
zbMath0441.68064MaRDI QIDQ3883515
P. S. Thiagarajan, Kurt Lautenbach, Hartmann J. Genrich
Publication date: 1980
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25: Theory of operating systems
Related Items
An interval algorithm for solving systems of linear equations to prespecified accuracy, 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, Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems, Fair relation and modified synchronic distances in a Petri net, 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, An algebraic description of system behaviours, Three measures for synchronic dependence in Petri nets, Clustering for Petri nets, Infinite behaviour of Petri nets