For the most recent entries see the Petri Nets Newsletter.

Integrated architecture modeling of real-time concurrent systems with applications in FMS.

Deng, Yi; Wang, Jiacun; Sinha, Rakesh

In: Proc. of the 10th Int. Conf. on Software Eng. and Knowledge Eng., June 18-20, 1998, pages 34-43. 1998.

Abstract: A Real-time Architectural Specification (RAS) model and its application in the modeling of flexible manufacturing system (FMS) are presented. An FMS is a typical real-time concurrent system. The growing demand for higher performance and flexibility in these systems and the interlocking factors of concurrency, deadline-driven activities, and real-time decision making pose a significant challenge in FMS design, especially in terms of control and scheduling. A formal engineering approach that helps handle the complexity and dynamics of FMS modeling, design and analysis is needed. RAS combines mature Time Petri nets and Real-Time Computational Tree Logic to form an integrated system model for architectural specification and analysis of real-time concurrent systems such as FMS.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography