Search Results

Modelling and control of a kind of Discrete-Event Systems (DES) having a character of Flexible Manufacturing Systems (FMS) are examined by means of methods used in applied artificial intelligence. While assembly and/or disassembly processes are ...

RTCP-nets are a subclass of timed coloured Petri nets defined for modelling and analysis of embedded real-time systems. One of the main advantages of strongly bounded RTCP-nets is a possibility to present the set of reachable states of an RTCP-net using ...

RTCP-nets are a subclass of timed coloured Petri nets defined for modelling and analysis of embedded real-time systems. One of the main advantages of strongly bounded RTCP-nets is a possibility to present the set of reachable states of an RTCP-net using ...

The state-explosion problem of formal verification has obstructed its application to large-scale software systems. In this article, we introduce a set of new condensation theories: IOT-failure equivalence, IOT-state equivalence, and firing-dependence ...

Abstract: Generalized stochastic Petri nets are briefly introduced and the work performed since the time of their proposal, to improve their modelling capabilities is surveyed according to three directions of research. The open problems that still need ...

Model-checking is a powerful automated technique for verifying finite state real-time safety critical systems, but suffers from a combinatorial explosion of states as system complexity increases. We introduce a method for compositional reasoning in real-...