Conference Paper

Integrated Design of Object-Oriented Real-Time Control and Database Systems.

Conference: SEKE'95, The 7th International Conference on Software Engineering and Knowledge Engineering, June 22-24, 1995, Rockville, Maryland, USA, Proceedings
Source: DBLP


This paper introduces a modelling methodology basedon G-Nets, that can be applied to the design and prototypingof both real-time control systems and real-timedatabases. The methodology is applied to model a flexiblemanufacturing cell.Keywords: real-time control systems, real-timedatabases, high-level Petri nets.1 IntroductionOur goal in this paper is to introduce a design methodbased on a class of of high-level Petri nets, named GNets [1], that can be applied for both, the design...

2 Reads
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: In this paper we present a Petri-net-based approach to consider faults and timing analysis in real-time distributed systems. The proposed approach is based on fuzzy time G-nets which is the integration of two Petri nets extensions: fuzzy time Petri net (timing Petri net extension) and G-nets (Petri net extended with object-oriented concepts). We show how to perform timing analysis using the proposed approach. We also show that fuzzy time G-nets can be used to represent fault-tolerant techniques and to consider anticipated faults.
    Fuzzy Sets and Systems 10/1996; 83(2-83):143-168. DOI:10.1016/0165-0114(95)00387-8 · 1.99 Impact Factor
  • Source
    [Show abstract] [Hide abstract]
    ABSTRACT: When specifying, designing and analyzing complex systems, it is necessary to adopt a modular or compositional methodology. Such a methodology must allow the designer the ability to verify local logical and timing properties of individual modules or components in the system, and also allows the verification of the correct behavior of interacting components. The application of Petri nets for the modeling and verification of systems, at specification and design levels, are well known. Despite powerful structuring mechanisms available in the Petri nets theory for the construction of the model of complex systems, the designer is still likely to face the problem of state explosion when analyzing and verifying large systems. In this work we introduce a modular logical and timing analysis methodology for a kind of high level Petri net named G-Nets that can be applied for complex software systems.
    Journal of Systems and Software 11/1999; 39(1-39):39-59. DOI:10.1016/S0164-1212(96)00162-8 · 1.35 Impact Factor