Reachability of Cyclic Steady States Space: Declarative Modeling Approach

  • Grzegorz Bocewicz
  • Robert Wójcik
  • Zbigniew A. Banaszak
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7654)


The paper presents a new modeling framework enabling to evaluate the cyclic steady state of a given system of concurrently flowing cyclic processes (SCCP) sharing common system resources while interacting on the base of a mutual exclusion protocol. Assuming a given topology of cyclic routes passing on by subsets of system resources, a set of dispatching rules aimed at recourses’ conflicts resolution, operation times as well as the given frequencies of mutual appearance of local processes the main objective is to provide the declarative modeling framework enabling to refine conditions guaranteeing the cyclic steady state space reachability.


cyclic processes declarative modeling constraints programming state space dispatching rules 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bocewicz, G., Wójcik, R., Banaszak, Z.: On Undecidability of Cyclic Scheduling Problems. In: Karagiannis, D., Jin, Z. (eds.) KSEM 2009. LNCS, vol. 5914, pp. 310–321. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Bocewicz, G., Wójcik, R., Banaszak, Z.A.: Toward Cyclic Scheduling of Concurrent Multimodal Processes. In: Jędrzejowicz, P., Nguyen, N.T., Hoang, K. (eds.) ICCCI 2011, Part I. LNCS (LNAI), vol. 6922, pp. 448–457. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  3. 3.
    Bocewicz, G., Wójcik, R., Banaszak, Z.A.: Cyclic Steady State Refinement. In: Abraham, A., Corchado, J.M., González, S.R., De Paz Santana, J.F. (eds.) International Symposium on DCAI. AISC, vol. 91, pp. 191–198. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  4. 4.
    Bocewicz, G., Banaszak, Z.: Declarative approach to cyclic scheduling of multimodal processes. In: Golińska, P. (ed.) EcoProduction and Logistics, vol. 1. Springer, Heidelberg (in print, 2012)Google Scholar
  5. 5.
    Liebchen, C., Möhring, R.H.: A case study in periodic timetabling. Electronic Notes in Theoretical Computer Science 66(6), 21–34 (2002)CrossRefGoogle Scholar
  6. 6.
    Levner, E., Kats, V., de Pablo, D.A.L., Cheng, T.C.E.: Complexity of cyclic scheduling problems: A state-of-the-art survey. Computers & Industrial Engineering 59(2), 352–361 (2010)CrossRefGoogle Scholar
  7. 7.
    Polak, M., Majdzik, P., Banaszak, Z., Wójcik, R.: The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Informaticae 60(1-4), 269–289 (2004)MathSciNetMATHGoogle Scholar
  8. 8.
    Song, J.-S., Lee, T.-E.: Petri net modeling and scheduling for cyclic job shops with blocking. Computers & Industrial Engineering 34(2), 281–295 (1998)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Heo, S.-K., Lee, K.-H., Lee, H.-K., Lee, I.-B., Park, J.H.: A New Algorithm for Cyclic Scheduling and Design of Multipurpose Batch Plants. Ind. Eng. Chem. Res. 42(4), 836–846 (2003)CrossRefGoogle Scholar
  10. 10.
    Trouillet, B., Korbaa, O., Gentina, J.-C.K.: Formal Approach for FMS Cyclic Scheduling. IEEE SMC Transactions, Part C 37(1), 126–137 (2007)Google Scholar
  11. 11.
    Wang, B., Yang, H., Zhang, Z.-H.: Research on the train operation plan of the Beijing-Tianjin inter-city railway based on periodic train diagrams. Tiedao Xuebao/Journal of the China Railway Society 29(2), 8–13 (2007)MathSciNetGoogle Scholar
  12. 12.
    Von Kampmeyer, T.: Cyclic scheduling problems, Ph.D. Dissertation, Fachbereich Mathematik/Informatik, Universität Osnabrück (2006)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Grzegorz Bocewicz
    • 1
  • Robert Wójcik
    • 2
  • Zbigniew A. Banaszak
    • 3
  1. 1.Dept. of Electronics and Computer ScienceKoszalin University of TechnologyKoszalinPoland
  2. 2.Institute of Computer Engineering, Control and RoboticsWrocław University of TechnologyWrocławPoland
  3. 3.Dept. of Business InformaticsWarsaw University of TechnologyWarsawPoland

Personalised recommendations