Eine Verallgemeinerung der Lambert-Transformation (II)

Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls

A Generalization of Supervisor Synthesis based on the μ-Calculus The present work deals with the specification and implementation of systems with discrete state spaces. This large class of systems encompasses, for example, information processing systems, which play an important role in modern life. The dynamics of these systems include concurrent processes, and concurrency can give rise to stat...

Eine Funktionalinterpretation der prädikativen Analysis

Eine 4PL-Plattform zur Unterstützung der Nacherntelogistik - Eine Anforderungsanalyse

Der Beitrag analysiert mittels eines systematischen Literaturreviews und Experteninterviews Anforderungen an einen Fourth Party Logistics Provider (4PL) und dessen IT-Infrastruktur im Kontext der Nacherntelogistik. Auf Basis der ermittelten Anforderungen wurde eine 4PL-Plattform konzeptioniert, welche zukünftigen Forschungsbedarf aufzeigt.

Plädoyer für eine operationalisierbare Methode der Prozesserhebung in der Beratung

RFID in der Produktion: Eine Fallstudie aus der Airbagindustrie

Wir stellen eine Fallstudie zum Thema „RFID-Einsatz in der Produktion“ vor. In der Fallstudie analysieren wir die Produktion eines Airbagproduzenten hinsichtlich eines möglichen Einsatzes von RFID. Gegenwärtig setzt das Unternehmen Barcodetechnologie zur Teileverfolgung im Produktionsprozess ein. Ein Ergebnis unserer Analysen ist, dass durch den zielgerichteten Einsatz der RFIDTechnologie Proze...