Deciding conformance for bounded responsiveness

作者：Mueller Richard; Stahl Christian; Vogler Walter

来源：Science of Computer Programming, 2017, 138: 1-25.

DOI：10.1016/j.scico.2016.11.003

• Petri nets
• Open nets
• Conformance
• Theory of computation

We study open systems modeled as Petri nets with an interface for asynchronous communication with other open systems. As a minimal requirement for successful communication, we investigate bounded responsiveness, which guarantees that an open system and its environment always have the possibility to mutually terminate or to communicate, while the number of pending messages never exceeds a previously known bound. Bounded responsiveness conformance describes when one open system can be safely replaced by another open system. We present a trace-based characterization for conformance and show decidability. We further develop a finite characterization of the infinite set of all conforming open systems to a given open system. We implement the decision algorithm for conformance and evaluate it using industrial-sized open systems.

• 出版日期2017-5-1