Skip to main content

Declarative Modeling of Multimodal Cyclic Processes

  • Chapter
  • First Online:
Information Technologies in Environmental Engineering

Part of the book series: Environmental Science and Engineering ((ENVENG,volume 3))

Abstract

Cyclic scheduling problems arise in a variety of transportation applications and service domains. Within the class of those problems we can identify situations where there is need to make use of different modes of transportation. What is of particular interest in this paper is the design of a class of multimodal cyclic processes (MCP) for production engineering and supply chains. The paper presents a new modeling framework enabling to prototype and evaluate multimodal processes while comparing their cyclic steady states. A way in which the multimodal processes encompass the behavior of supporting them concurrently flowing cyclic processes (SCCP) is discussed in terms of constraints satisfaction problem. Possible implementations are illustrated on example of the flexible manufacturing system operation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bocewicz G., Wójcik R., Banaszak Z., On Undecidability of Cyclic Scheduling Problems, In: Mapping Relational Databases to the Semantic Web with Original Meaning, Lecture Notes in Computer Science LNAI, Vol. 5914, Springer-Verlag, Berlin-Heidelberg, 2009, 310-321

    Google Scholar 

  2. Bocewicz G., Wójcik R., Banaszak Z., AGVs distributed control subject to imprecise operation times. In: Agent and Multi-Agent Systems: Technologies and Applications, Lecture Notes in Artificial Intelligence LNAI, Vol. 4953, Springer-Verlag, Berlin-Heidelberg, 2008, 421-430

    Google Scholar 

  3. Bocewicz G., Wójcik R., Banaszak Z., Cyclic Steady State Refinement. In: Proceedings of the 9th International Conference on Practical Applications of Agents and Multi-Agent Systems, 2011, (in print)

    Google Scholar 

  4. Bocewicz G., Banaszak Z., Wójcik R., Design of admissible schedules for AGV systems with constraints: a logic-algebraic approach. In: Agent and Multi-Agent Systems: Technologies and Applications, Nguyen N.T., Grzech A., et al. (Eds.), Lecture Notes in Artificial Intelligence LNAI, Vol. 4496, Springer-Verlag, Berlin-Heidelberg, 2008, 578-587

    Google Scholar 

  5. Bocewicz G., Banaszak Z., Cyclic processes scheduling. In: Applied Computer Science, Vol. 6, No. 2, 2010, 41-70

    Google Scholar 

  6. Ernst A.T., Jiang H., Krishnamoorthy M., Owens B., Sier D., An annotated bibliography of personnel scheduling and rostering. In: Annals of Operations Research, 127, 2009, 21-144

    Google Scholar 

  7. Fournier, O., Lopez, P., Lan Sun Luk, J.-D., Cyclic scheduling following the social behavior of ant colonies. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 2002, 450-454

    Google Scholar 

  8. Kats V., Lei L., Levner E., Minimizing the cycle time of multiple-product processing networks with a fixed operation sequence, setups, and time-window constraints. In: European Journal of Operational Research, Vol. 187, 2008, 1196-1211

    Google Scholar 

  9. Liebchen, C., Möhring, R.H., A case study in periodic timetabling. In: Electronic Notes in Theoretical Computer Science, Vol. 66 (6), 2002, 21-34

    Google Scholar 

  10. Levner E., Kats V., Alcaide D., Pablo L, Cheng T.C.E., Complexity of cyclic scheduling problems: A state-of-the-art survey. In: Computers & Industrial Engineering, Vol. 59, Issue 2, 2010, 352-361

    Google Scholar 

  11. Polak M., Majdzik P., Banaszak Z., Wójcik R., The performance evaluation tool for automated prototyping of concurrent cyclic processes. Fundamenta Informatice. In: ISO Press, Editor-in-Chief, A. Skowron, Vol. 60, No.1-4, 2004, 269-289

    Google Scholar 

  12. Schulte Ch., Smolka G., Wurtz J., Finite Domain Constraint Programming in Oz. DFKI OZ documentation series, German Research Center for Artificial Intelligence, Saarbruecken, Germany, 1998

    Google Scholar 

  13. Slowik A., Steering of Balance Between Exploration and Exploitation Properties of Evolutionary Algorithms - Mix Selection, In: Artificial Intelligence and Soft Computing, L. Rutkowski et al. (Eds.): Lecture Notes in Artificial Intelligence, LNAI, Vol. 6114, Part II, Springer, Heidelberg, 2010, 213-220.

    Google Scholar 

  14. Song J.-S., Lee T.-E., Petri net modeling and scheduling for cyclic job shops with blocking. In: Computers & Industrial Engineering,Vol.34, No.2, 1998, 281-295

    Google Scholar 

  15. Soon-Ki Heo, Kyu-Hwang Lee, Ho-Kyung Lee, In-Beum Lee, Jin Hyun Park, A New Algorithm for Cyclic Scheduling and Design of Multipurpose Batch Plants. In: Ind. Eng. Chem. Res., 42 (4), 2003, 836-846

    Google Scholar 

  16. Trouillet B., Korbaa O, Gentina J.-C.k Formal Approach for FMS Cyclic Scheduling. In: IEEE SMC Transactions, Part C, 37, Issue 1, 2007, 126-137

    Google Scholar 

  17. 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. In: Tiedao Xuebao/Journal of the China Railway Society, Vol. 29 (2), 2007, 8-13

    Google Scholar 

  18. Von Kampmeyer T., Cyclic scheduling problems, Ph.D. Dissertation, Fachbereich Mathematik/ Informatik, Universität Osnabrück, 2006

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Grzegorz Bocewicz .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bocewicz, G., Banaszak, Z.A. (2011). Declarative Modeling of Multimodal Cyclic Processes. In: Golinska, P., Fertsch, M., Marx-Gómez, J. (eds) Information Technologies in Environmental Engineering. Environmental Science and Engineering(), vol 3. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19536-5_43

Download citation

Publish with us

Policies and ethics