Boundedness undecidability for synchronized nets

DOI10.1016/j.ipl.2006.04.009zbMath1185.68026OpenAlexW1972869789MaRDI QIDQ845725

Raymond Devillers, Laurent Van Begin

Publication date: 29 January 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2006.04.009

zbMATH Keywords

boundednessdecidabilityconcurrencysynchronized nets

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Related Items

Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis ⋮ Checking system boundedness using ordinary differential equations ⋮ Synchronizing sequences on a class of unbounded systems using synchronized Petri nets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item