scientific article; zbMATH DE number 5864941

MaRDI QIDQ3080936zbMATH OpenFDO

Authors Sangita Kansal

Publication date 10 March 2011

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Describes a project that uses

Uses Software

• PetriNets

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3080936)