Cyclic Steady State Refinement: Multimodal Processes Perspective - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Cyclic Steady State Refinement: Multimodal Processes Perspective

Résumé

The cyclic scheduling problem modeled in terms of Cyclic Concurrent Process Systems is considered. The problem can be seen as a kind of Diophantine problem, hence its solvability, i.e. schedulability, plays a pivotal role in many supply-chain problems. In contradiction to the traditionally offered solutions the approach proposed allows one to take into account such behavioral features as transient periods and deadlocks occurrence. So, the contribution’s aim is the modeling framework enabling an evaluation of cyclic scheduling problems solvability, i.e., the declarative approach to reachability problems regarding cyclic steady states determination as well as conditions guaranteeing assumed performance of multimodal processes executed within a concurrent cyclic processes environment.
Fichier principal
Vignette du fichier
978-3-642-33980-6_3_Chapter.pdf (653.45 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01524185 , version 1 (17-05-2017)

Licence

Paternité

Identifiants

Citer

Grzegorz Bocewicz, Peter Nielsen, Zbigniew A. Banaszak, Vinh Quang Dang. Cyclic Steady State Refinement: Multimodal Processes Perspective. International Conference on Advances in Production Management Systems (APMS), Sep 2011, Stavanger, Norway. pp.18-26, ⟨10.1007/978-3-642-33980-6_3⟩. ⟨hal-01524185⟩
52 Consultations
61 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More