scientific article; zbMATH DE number 482861

zbMath0826.68040MaRDI QIDQ4274990

Peter Antonius Christiaan Verkoulen

Publication date: 15 December 1993

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

zbMATH Keywords

toolsPetri netssemantic data modelscaseinformation system analysisSimConSimCon algebraSimCon object model

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Information storage and retrieval of data (68P20) Theory of software (68N99)

Related Items (1)

From Coloured Petri Nets to Object Petri Nets

Uses Software

• SCOM

This page was built for publication: