Undecidability of accordance for open systems with unbounded message queues

R. Müller, C. Stahl, W. Vogler

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)


We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without affecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending messages, we show that it is not decidable without this assumption. Keywords: Petri nets; Open nets; Accordance preorder; Theory of computation
Originele taal-2Engels
Pagina's (van-tot)663-669
TijdschriftInformation Processing Letters
Nummer van het tijdschrift12
StatusGepubliceerd - 2014

Vingerafdruk Duik in de onderzoeksthema's van 'Undecidability of accordance for open systems with unbounded message queues'. Samen vormen ze een unieke vingerafdruk.

Citeer dit