Sequential versus concurrent languages of labeled conflict-free Petri nets

DOI10.1109/TAC.2002.800664zbMath1364.68298OpenAlexW2131794284MaRDI QIDQ5267147

Hsu-Chun Yen

Publication date: 20 June 2017

Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tac.2002.800664

Mathematics Subject Classification ID

Control/observation systems involving computers (process control, etc.) (93C83) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Concurrency, Synchronization, and Conflicts in Petri Nets

This page was built for publication: Sequential versus concurrent languages of labeled conflict-free Petri nets