scientific article; zbMATH DE number 2102728
From MaRDI portal
Publication:4818815
zbMath1046.93509MaRDI QIDQ4818815
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Discrete event control/observation systems (93C65) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Charlie – An Extensible Petri Net Analysis Tool ⋮ Computational Probability for Systems Biology ⋮ Equivalence checking 40 years after: a review of bisimulation tools ⋮ Modelling of Biochemical Reactions by Stochastic Automata Networks
Uses Software
This page was built for publication: