Theory and Applications of Models of Computation

DOI10.1007/11750321zbMATH Open1178.68370OpenAlexW4296156427MaRDI QIDQ5898911

Chuanliang Xia

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11750321

zbMATH Keywords

synthesisPetri netsanalysisliveness and boundedness

Mathematics Subject Classification ID

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

Related Items (5)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?)

This page was built for publication: Theory and Applications of Models of Computation

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