Andere Kunden interessierten sich auch für
![Scheduling Computer and Manufacturing Processes]( "Scheduling Computer and Manufacturing Processes")
Scheduling Computer and Manufacturing Processes121,99 €![Iterative Methods for Queuing and Manufacturing Systems]( "Iterative Methods for Queuing and Manufacturing Systems")
Iterative Methods for Queuing and Manufacturing Systems38,99 €![Fertigungsregelung durch zielgrößenorientierte Planung und logistisches Störungsmanagement]( "Fertigungsregelung durch zielgrößenorientierte Planung und logistisches Störungsmanagement")
Fertigungsregelung durch zielgrößenorientierte Planung und logistisches Störungsmanagement54,99 €![Simulation diskreter Prozesse]( "Simulation diskreter Prozesse")
Simulation diskreter Prozesse32,99 €![Digitalisierung und Künstliche Intelligenz in der Produktion]( "Digitalisierung und Künstliche Intelligenz in der Produktion")
Digitalisierung und Künstliche Intelligenz in der Produktion39,99 €![Organisation 4.0: MITO-Konfigurationsmanagement]( "Organisation 4.0: MITO-Konfigurationsmanagement")
Organisation 4.0: MITO-Konfigurationsmanagement80,00 €![Knowledge Sharing in the Integrated Enterprise]( "Knowledge Sharing in the Integrated Enterprise")
Knowledge Sharing in the Integrated Enterprise81,99 €
Im Business Performance Management und der Modellierungssprache BPML finden die Konzepte des Prozesskalküls immer häufiger Anwendung. Prozesskalküle helfen hierbei Business Performance Management Systeme zu definieren und zu analysieren. Welchen Nutzen lassen sich aus einem Prozesskalkül für Fertigungsprozesse ziehen? Wie könnte eine Beschreibung von Fertigungsprozessen mit einem Prozesskalkül aussehen? Der Autor Marco Hüster untersucht in diesem Buch das Prozesskalkül CCS auf seine Anwendbarkeit für die formale Beschreibung von Fertigungsprozessen und zeigt, dass durch CCS Fertigungsprozesse hinsichtlich den Eigenschaften Modularität, Kommunikation, Typisierung, Kontrollflusssteuerung, Nebenläufigkeit und Synchronisation beschrieben werden können. Der Kern des Buches ist die Spezifikation der Sprache FP-CCS. FP-CCS ist auf Basis von CCS definiert und erweitert CCS um eine Typ- und Wertumgebung. Die syntaktischen und semantischen Objekte vom FP-CCS werden dabei als mathematische Objekte modelliert. Das Buch richtet sich an Wissenschaftler und Studenten der Natur- und Ingenieurwissenschaften sowie an die Entscheidungsträger in den Forschungsabteilungen der Industrie.