Sequential versus concurrent languages of labeled conflict-free Petri nets

DOI10.1109/TAC.2002.800664MaRDI QIDQ5267147zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(1)

• Concurrency, Synchronization, and Conflicts in Petri Nets

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

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