Formális modellezés alkalmazásának lehetőségei a vasúti biztosítóberendezések területén – 2. rész

Cikkünk első részében ismertettük a formális módszerek vasúti biztosítóberendezési területen történő egy lehetséges alkalmazásának hátterét és célját. Bemutattuk a vizsgálat alapját képező helyszínrajzot, a modellezési elhanyagolásokat, valamint a vágányutas és nyomvonalas biztosítóberendezési szerkesztési elvek modellezésével kapcsolatos általános megfontolásokat. Ezt követően ismertettük a két Petri hálós modellt, melynek során a 2-es…

„Minden egyes rakomány és ügyfél számít”

A Koperi Kikötő idén ünnepelte fennállásának 60. évfordulóját, meghatározó pozíciót tudva magáénak az adriai térségben, amelyet a jövőben is szándékozik megtartani. Annak érdekében, hogy teljes mértékben megértsük, miért is számít ez jelentős teljesítménynek, kicsit vissza kell utaznunk az időben, hogy lássuk, hogyan lett egy kis szigetből Európa egyik legnagyobb kikötője.…

Fejlesztések, beruházások a piaci pozíció megerősítéséhez

Még akár 3–4 évvel ezelőtt is csak legyintettek a szállítmányozók, amikor a trieszti kikötőn keresztüli, magyarországi rendeltetésű  konténerforgalomról esett szó, ehhez képest a lapunk kiadója szervezésében szeptember 27-én, a Budapest Music Centerben tartott partnertalálkozón már 200 érdeklődőt köszönthettünk. Gyakorlatilag ott volt minden cég, aki érdekelt az adriai forgalmakban. De vajon…

Kapu a világpiacra

Október 12-én kiadónk szervezésében zajlott a Constantai Kikötő hagyományos – immár 11. alkalommal megrendezett – budapesti partnertalálkozója, amely a dunai árufuvarozásban érdekelt fuvarozók és szállítmányozók egyik legnépszerűbb éves szakmai eseménye. Ezúttal sem az előadásoké, hanem a kötetlen megbeszéléseké volt a főszerep. (tovább…)