scientific article
From MaRDI portal
Publication:3774955
zbMath0635.68055MaRDI QIDQ3774955
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (7)
A class of composable high level Petri nets ⋮ Arc-typed Petri Nets ⋮ Elementary transition systems ⋮ Spreading nets: a uniform approach to unfoldings ⋮ An algebraic characterisation of elementary net system (observable) state space ⋮ Merging Relations: A Way to Compact Petri Nets’ Behaviors Uniformly ⋮ Algebraic nets with flexible arcs
This page was built for publication:
