P/R nets and process concepts. II

From MaRDI portal

Publication:1201589

Jump to:navigation, search

zbMath0792.68121MaRDI QIDQ1201589

Publication date: 17 January 1993

Published in: Science in China. Series A (Search for Journal in Brave)

zbMATH Keywords

uniqueness Petri net P/R nets reverse problem

Mathematics Subject Classification ID

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

Related Items (1)

A true concurrency model of CCS semantics

This page was built for publication: P/R nets and process concepts. II

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1201589&oldid=13262582"