Liveness for Synchronized Choice Petri Nets

DOI10.1093/COMJNL/44.2.124zbMath0982.68097OpenAlexW1979198381MaRDI QIDQ2747757

Jose A. Nicdao, Daniel Yuh Chao

Publication date: 14 October 2001

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/04a9f496aaeef7c868610ba49a9349a719e216dc

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

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

This page was built for publication: Liveness for Synchronized Choice Petri Nets