scientific article; zbMATH DE number 7319039

zbMath1457.68168arXiv1111.3106MaRDI QIDQ4965865

Sven Schewe, Doron A. Peled

Publication date: 10 March 2021

Full work available at URL: https://arxiv.org/abs/1111.3106

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

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: