Mapping PUNITY to UniNet

DOI10.1007/BF02948908zbMath1100.68593MaRDI QIDQ1415945

Guofu Zhou, Chongyi Yuan

Publication date: 9 December 2003

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

Petri netUNITY

Mathematics Subject Classification ID

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

Uses Software

• UNITY

Cites Work

• Software modeling and analysis using a hierarchical object-oriented Petri net
• Unnamed Item
• Unnamed Item

This page was built for publication: Mapping PUNITY to UniNet