Recursive nested Petri Nets: Analysis of semantic properties and expessibility

DOI10.1023/A:1010914603293zbMATH Open1038.68083MaRDI QIDQ1403182

Irina A. Lomazova

Publication date: 1 September 2003

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Recursive nested Petri Nets: Analysis of semantic properties and expessibility

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