Integrált gyártórendszerek



Hasonló dokumentumok
Integrált gyártórendszerek

Gyártórendszerek irányítási struktúrái

PANNON EGYETEM Műszaki Informatikai Kar Villamosmérnöki és Információs Rendszerek Tanszék

Bevezetés. Számítógép-hálózatok. Dr. Lencse Gábor. egyetemi docens Széchenyi István Egyetem, Távközlési Tanszék

Adatok felhasználása A folyamatbányászat az adatbányászat egy speciális területének is tekinthető

Folyamatbányászat. Big Data, Event Data. Pannon Egyetem Villamosmérnöki és Információs Rendszerek Tanszék Werner Ágnes

Folyamatbányászat 1. Big Data, Event Data

Folyamatbányászat. Werner Ágnes

Autóipari beágyazott rendszerek. Komponens és rendszer integráció

KÖFOP VEKOP A jó kormányzást megalapozó közszolgálat-fejlesztés

Neurális hálózatok bemutató

Hálózati szolgáltatások biztosításának felügyeleti elemei

Számítógépes munkakörnyezet II. Szoftver

Gyártórendszerek Dinamikája. Irányítástechnikai alapfogalmak

II. rész: a rendszer felülvizsgálati stratégia kidolgozását támogató funkciói. Tóth László, Lenkeyné Biró Gyöngyvér, Kuczogi László

A kockázatelemzés menete

OSI-ISO modell. Az OSI rétegek feladatai: Adatkapcsolati réteg (data link layer) Hálózati réteg (network layer)

HÁLÓZATBIZTONSÁG III. rész

Gyártórendszerek Dinamikája. Gyártórendszerek jellemzése és szerkezete Gyártórendszerekkel kapcsolatos mérnöki feladatok

Hálózatok. Alapismeretek. A hálózatok célja, építőelemei, alapfogalmak

A számítógép-hálózat egy olyan speciális rendszer, amely a számítógépek egymás közötti kommunikációját biztosítja.

WAGO PLC-vel vezérelt hő- és füstelvezetés

Hálózati ismeretek. Az együttműködés szükségessége:

Beltéri autonóm négyrotoros helikopter szabályozó rendszerének kifejlesztése és hardware-in-the-loop tesztelése

Hálózati réteg. WSN topológia. Útvonalválasztás.

ÉRZÉKELŐK ÉS BEAVATKOZÓK I. 3. MÉRÉSFELDOLGOZÁS

Miskolci Egyetem Gépészmérnöki és Informatikai Kar Alkalmazott Informatikai Tanszék. Dr. Kulcsár Gyula egyetemi docens

Vállalati információs rendszerek I, MIN5B6IN, 5 kredit, K. 4. A meghirdetés ideje (mintatanterv szerint vagy keresztfélében):

Beállítások 1. Töltse be a Planet_NET.pkt állományt a szimulációs programba! A teszthálózat már tartalmazza a vállalat

Félreértések elkerülése érdekében kérdezze meg rendszergazdáját, üzemeltetőjét!

Norway Grants. Az akkumulátor mikromenedzsment szabályozás - BMMR - fejlesztés technológiai és műszaki újdonságai. Kakuk Zoltán, Vision 95 Kft.

Az irányítástechnika alapfogalmai Irányítástechnika MI BSc 1

Számítógépes hálózatok

Szoftverarchitektúrák 3. előadás (második fele) Fornai Viktor

Segédlet Hálózatok. Hálózatok 1. Mit nevezünk hálózatnak? A számítógép hálózat más-más helyeken lévő számítógépek összekapcsolását jelenti.

Szolgáltatás Orientált Architektúra a MAVIR-nál

A hálózattervezés alapvető ismeretei

Számítógép-hálózat fogalma (Network)

Új módszerek és eszközök infokommunikációs hálózatok forgalmának vizsgálatához

Autóipari beágyazott rendszerek. A kommunikáció alapjai

Vezetői információs rendszerek

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Párhuzamos programozási platformok

Autóipari beágyazott rendszerek. Local Interconnection Network

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

Diagnosztika Petri háló modellek felhasználásával

Adatkapcsolati réteg 1

Működésbiztonsági veszélyelemzés (Hazard and Operability Studies, HAZOP) MSZ

Verifikáció és validáció Általános bevezető

Számítógépes hálózatok

Párhuzamos programozási platformok

webalkalmazások fejlesztése elosztott alapon

Alapszintű formalizmusok

Szomolányi Tiborné 2009 november. PDF created with pdffactory Pro trial version

Programozó- készülék Kezelőkozol RT óra (pl. PC) Digitális bemenetek ROM memória Digitális kimenetek RAM memória Analóg bemenet Analóg kimenet

Számítógépvezérelt irányítás és szabályozás elmélete (Bevezetés a rendszer- és irányításelméletbe, Computer Controlled Systems) 7.

TELE-OPERATOR UTS v.14 Field IPTV műszer. Adatlap

Bevezetés a párhuzamos programozási koncepciókba

Folyamatirányítás NIVISION FOLYAMATKIJELZÔ RENDSZER

Közösség, projektek, IDE

MARCONI (Ericsson) SDH felügyeleti rendszerének mérése

Számítógépes döntéstámogatás. Bevezetés és tematika

Használati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

Vállalati modellek. Előadásvázlat. dr. Kovács László

Miskolci Egyetem Általános Informatikai Tanszék

A tesztelés feladata. Verifikáció

NETinv. Új generációs informatikai és kommunikációs megoldások

Tudásalapú információ-kereső rendszerek elemzése és kifejlesztése

The nontrivial extraction of implicit, previously unknown, and potentially useful information from data.

Dr. Topár József 3. Eladás Marketing Külső szolgáltatás Alvállalkozók Fogyasztók. Engineering Termelés Anyagszabályozás Beszerzés Minőség

Hálózati Architektúrák és Protokollok GI BSc. 3. laborgyakorlat

ISO A bevezetés néhány gyakorlati lépése

Alter Róbert Báró Csaba Sensor Technologies Kft

Szoftverminőségbiztosítás

StP Műszaki Fejlesztő, Gyártó és Kereskedelmi Kft.

Optimalizáció ESX-től View-ig. Pintér Kornél ügyfélszolgála3 mérnök

Budapesti Mûszaki Fõiskola Rejtõ Sándor Könnyûipari Mérnöki Kar Médiatechnológiai Intézet Nyomdaipari Tanszék. Karbantartás-szervezés a nyomdaiparban

Új generációs informatikai és kommunikációs megoldások ANMS. távközlési hálózatok informatikai hálózatok kutatás és fejlesztés gazdaságos üzemeltetés

Automatikus tesztgenerálás modell ellenőrző segítségével

Hálózatok Rétegei. Számítógépes Hálózatok és Internet Eszközök. TCP/IP-Rétegmodell. Az Internet rétegei - TCP/IP-rétegek

Számítógép hálózatok gyakorlat

Szoftver újrafelhasználás

Architektúra tervezési példák: Architektúrák biztonságkritikus rendszerekben

Az IBM megközelítése a végpont védelemhez

Nagy bonyolultságú rendszerek fejlesztőeszközei

Programozható vezérlő rendszerek KOMMUNIKÁCIÓS HÁLÓZATOK 2.

Elosztott rendszer architektúrák

Épületenergetika és épületmechatronika

IBM felhő menedzsment

Ipari Ethernet hálózat felügyelete

Történet John Little (1970) (Management Science cikk)

Biztonsági folyamatirányító. rendszerek szoftvere

2. rész PC alapú mérőrendszer esetén hogyan történhet az adatok kezelése? Írjon pár 2-2 jellemző is az egyes esetekhez.

Hálózati alapismeretek

Intelligens biztonsági megoldások. Távfelügyelet

Roger UT-2. Kommunikációs interfész V3.0

Épületenergetika és épületmechatronika

Specifikáció alapú teszttervezési módszerek

Infor PM10 Üzleti intelligencia megoldás

Átírás:

IGyR-10 p. 1/58 Integrált gyártórendszerek Számítógép hálózatok alapismeretei Összetett szabályozó rendszerek Mérés-adatgyűjtő és irányító szoftver rendszerek Diagnosztika: meghibásodás detektálás és azonosítás Werner Ágnes Villamosmérnöki és Információs Rendszerek Tanszék e-mail: werner.agnes@virt.uni-pannon.hu

IGyR-10 p. 2/58 Tartalom 1. Számítógép hálózati alapfogalmak halózati hardver és topológia hálózati szoftver és protokollok 2. Szabályozó struktúrák jellemzése egyszerű struktúrák (kaszkád, centrális felügyelő) elosztott szabályozó struktúrák 3. Mérés-adatgyűjtő és irányító rendszerek szoftver rendszere real-time működés a legfontosabb funkcionális egységek 4. Diagnosztika: meghibásodás detektálás és azonosítás

Számítógép hálózatok IGyR-10 p. 3/58

IGyR-10 p. 4/58 Számítógép hálózatok komponensei Hálózati hardver számítógépek (aktív) és összeköttetések (passzív) méret, pl. LAN (local area network) átviteli technológia: adatszóró (vagy többszörös hozzáférésű) hálózat, kétpontos hálózat topológia: összeköttetés típusa, gépek logikai szerepe csatornakiosztási módszerek (adatszóró hálózatokban) Hálózati szoftver réteges szerkezet az OSI (open systems interface) modell

LAN számítógép hálózatok topológiája 1 IGyR-10 p. 5/58

IGyR-10 p. 6/58 LAN számítógép hálózatok topológiája 2 Topológiafajták előnyei és hátrányai csillag (klasszikus): pont-pont kapcsolat a központ (szerver) és a tagok között, tagok kiesését nem érzi meg gyűrű: kevés kábellel egyszerűen megvalósítható, kiesés esetén használhatatlan sín (busz): egyszerű és kiesésbiztos, adatszóró átvitelt igényel

IGyR-10 p. 7/58 Csatornakiosztás adatszóró átvitel esetén Adatszóró átvitel esetén az üzenet cimzett mezőt is tartalmaz Csatornakiosztás: a közös csatorna miatti konfliktushelyzet (ki adhat?) kezelésére statikus módszerek frekvenciasáv-felosztás elvén időosztásos elven dinamikus módszerek központos (központi ütemező egység) elosztott (ALOHA: ütközés esetén az ütközők véletlen idő elteltével adnak újra, Token passing, CSMA (Carrier Sense Multiple Access))

IGyR-10 p. 8/58 A hálózati szoftver réteges szerkezete Rétegek: minden hálózatban más és más lehet jól meghatározott, a többi rétegétől eltérő funkciók egymásra épülnek: használják az alattuk lévő réteg szolgáltatásait, szolgáltatnak a felettük lévő rétegnek protokollok: a rétegek közti párbeszédet szabályozzák Két pont közötti információ áramlás: virtuális A B a legfelső n. rétegek közötti logikai üzenet A- belül a rétegekben lefelé haladva felépül a fizikai üzenet a legalsó (fizikai) rétegen továbbítódik B- belül a rétegekben felfelé haladva a legfelső n. rétegben előáll a logikai üzenet A rétegek és protokollok halmazát hívjuk hálózati architektúrának.

IGyR-10 p. 9/58 Kommunikáció pont-pont kapcsolattal A legegyszerűbb hálózati protokollok: szinkronizáció és adatcsere Kapcsolati típusok (klasszikus) semaphore: egyirányú szinkronizáció send: egyrányú adatküldés jelzéssel randezvous: kétirányú szinkronizáció send-receive: kétrányú adatküldés jelzéssel

OSI modell IGyR-10 p. 10/58

Szabályozó struktúrák jellemzése IGyR-10 p. 11/58

IGyR-10 p. 12/58 Visszacsatoló szabályozás jel-folyam ábrája - ism alapjel u Rendszer S y bemenet x : állapot kimenet állapot visszacsatolás kimenet visszacsatolás C Szabályozó r referencia jel

IGyR-10 p. 13/58 Több bemenetű több kimenetű rendszerek Szabályozás egy vagy több szabályozóval MIMO Szabályozó C SISO Szabályozó C 1 U(t) MIMO Rendszer S Y(t) U 1 (t) MIMO Rendszer S Y 1 (t) U 2 (t) Y 2 (t) SISO Szabályozó C 2

IGyR-10 p. 14/58 Összetett szabályozórendszerek 1 Kaszkád szabályozás Referencia-jel SISO Szabályozó C 2 SISO Szabályozó C 1 u 1 (t) MIMO Rendszer S y 1 (t) y 2 (t)

IGyR-10 p. 15/58 Példa: Összetett gyártórendszer szabályozása C1 Tál-szabályozó Nyers (max 1) Munkagép Kész (max 1) u 1 (k)=n T1 (k) Kocsi 1 Kocsi 2 S1 Tál-gyr S3 Összeszerel-gyr y(k)=n T2 (k) u 2 (k)=n T3 (k) Nyers (max 1) Munkagép Kész (max 1) Kocsi 1 Kocsi 2 S2 Fül-pár-gyr C2 Fül-pár-szabályozó C3 Összeszerelszabályozó

IGyR-10 p. 16/58 Összetett szabályozórendszerek 2 Centrális szerkezetű elosztott szabályozórendszer Központi szabályozó Lokális szabályozó 1... Lokális szabályozó n Jellemzők központi (szerver) gép sokkal nagyobb kapacitású: felügyelő szabályozás, központi mérésadatgyűjtés és archiválás lokális szabályozók: pl. PID vagy PLC egységek csillag topológiájú hálózathoz illeszkedik

IGyR-10 p. 17/58 Összetett szabályozórendszerek 3 "Demokratikus" szerkezetű elosztott szabályozórendszer HÁLÓZAT Lokális szabályozó 1 Lokális szabályozó 2... Lokális szabályozó n Jellemzők a kontrollerek bármilyen kapacitásúak lehetnek, nincs kitűntetett egység sín topológiájú adatszóró hálózathoz illeszkedik általában statikus csatornakiosztással és kis adatforgalommal

IGyR-10 p. 18/58 Tábla (blackboard) szerkezet "Demokratikus" szerkezetű elosztott szabályozórendszerhez nagy adatforgalommal TÁBLA (közös adatok) Lokális szabályozó 1 Lokális szabályozó 2... Lokális szabályozó n

Mérés-adatgyűjtő és irányító szoftver rendszerek IGyR-10 p. 19/58

IGyR-10 p. 20/58 A szoftver rendszerek környezete A mérés-adatgyűjtő és irányító szoftver rendszerek környezete Plant or process Controller (Computer) c c process interface operator interface

IGyR-10 p. 21/58 A valós-idejű (real-time) működés A legfontosabb szükséges tulajdonságok 1. időfüggő reagálási képesség 2. véges előírt válaszidő 3. time-out (adott idő múlva eldobja a feladatot) 4. nyers mért adatok nem veszhetnek el 5. prioritás kezelés 6. "nice degradation" (bájos funkció-öncsökkentés nagy terhelésre) Legfontosabb szoftver komponensek (processzek vagy taszkok) elsődleges feldolgozás - (primary processing) esemény-kezelés (event handling) tágabb értelemben vett szabályozók

IGyR-10 p. 22/58 A legfontosabb processzek és adatszerkezetek Számítógéppel irányított rendszereknél raw measured data primary processing data measured data actuator data events data base handling measurement device handling primary processing event handling controller(s) CLOCK

IGyR-10 p. 23/58 A legfontosabb funkciók 1 Elsődleges/másodlagos adatfeldolgozás 1. hiányzó vagy érvénytelen adatok kezelése 2. mérnöki egységekre való átszámítás 3. határérték figyelés 4. szűrés 5. átlagolás Folyamat-felügyeleti (monitoring) feladatok 1. vészjelzés generálás 2. folyamat-trendek képzése 3. naplók készítése

IGyR-10 p. 24/58 A legfontosabb funkciók 2 Irányítási feladatok 1. irányítás és szabályozás PID, etc. vezérlő szekvenciák (operátori eljárások) 2. állapotbecslés (Kalman-szűrő) 3. identifikáció modell paraméter becslés modell struktúra becslés 4. diagnosztika predikción (előrebecslésen) alapuló identifikáción alapuló

Diagnosztika: meghibásodás detektálás és azonosítás IGyR-10 p. 25/58

IGyR-10 p. 26/58 Üzemek berendezéseinek meghibásodása Hibás működés minél gyorsabban és pontosabban lokalizálni a hibát megakadályozni az abnormális események tovaterjedését és csökkenteni a termeléskiesést hiba detektálás és diagnosztika Mialatt az üzem/gyár egy irányítható normális üzemi tartományban üzemel, a hibák korai felismerése és diagnosztikája segít az abnormális események tovaterjedésének megakadályozásában és csökkenti a termelékenység kiesést. Módszerek: analitikus, mesterséges intelligencián alapuló, statisztikai megközelítések

IGyR-10 p. 27/58 Intelligens rendszerek Az operátori szaktudás hiányának pótlására olyan intelligens rendszerek támogatása szükséges, amelyek biztosítják a rendszer vagy üzem biztonságos működését. Ezen intelligens rendszerek a szakértőktől származó heterogén tudást (pl. HAZOP, FMEA analízis eredményei) egy egységes keretrendszerben felhasználva működnek. Minden üzem más és más, ezért nehéz egy egységes, tématerülettől független intelligens diagnosztikai rendszer megvalósítása.

IGyR-10 p. 28/58 Meghibásodások A működési egységekben, alrendszerekben meghibásodások, hibák keletkezhetnek. A hiba a berendezés valamely paraméterének vagy változójának nem megengedett eltérése a névleges értéktől. Hatása, fennállása: lehet időszakos, ekkor zavarról beszélünk, lehet állandó, ekkor változásnak nevezzük Meghibásodás: a rendszer működésében olyan esemény következett be, amely a rendszer tényleges funkcionalitásának részleges vagy teljes módosulását vonta maga után, amelynek káros hatásai lehetnek a rendszerre, az emberekre és/vagy a környezetre. A rendszerben keletkező meghibásodások eredhetnek emberi hibákból is.

IGyR-10 p. 29/58 Diagnosztika A diagnosztika célja, hogy különböző meghibásodási módokban felfedezi, detektálja és izolálja a rendszerhibákat és meghibásodásokat a mért adatokból és a jó, valamint a hibás működést leíró rendszer modellekből. A diagnosztika az operátorok számára információt szolgáltat a rendszer állapotáról, és befolyásolja a szabályozók működését.

IGyR-10 p. 30/58 Hibadiagnosztika Az általános diagnosztikai feladat az alábbi formában fogalmazható meg. Adott: egy rendszer (eszköz, fizikai rendszer, fiziológiai rendszer,... ). a megfigyelések halmaza (mérések, tesztek, szimptómák, vizsgálatok,... ), amely az abnormális (nem várt, rendellenes,... ) viselkedésnek megfelel Feladat: meghatározni, hogy a rendszer normális állapotú-e (hibadetektálás), s ha nem, mi a rendszer hibamódja, milyen hiba következett be (hibaizoláció). beavatkozást keresni azzal a céllal, hogy a rendszer normális viselkedése visszaálljon (helyreállítás, újra konfigurálás,... ).

IGyR-10 p. 31/58 Hibadiagnosztika A hibadetektáló és -diagnosztikai módszerek három fő csoportba sorolhatók a modell nélküli módszerek, a modell alapú módszerek, tudás alapú módszerek.

IGyR-10 p. 32/58 Működőképesség- és veszélyelemzés (HAZOP) működőképesség- és veszélyelemzés vagy működésbiztonsági veszélyelemzés (HAZard and OPerability analysis, HAZOP) A HAZOP elemzés elve: a rendszer paramétereinek vagy változóinak normális állapottól való eltérését a már létező vagy kialakulóban lévő hibák okozzák. Az elemzés során előre meghatározott, ún. vezérszavakat (guide words) (pl. MORE, LESS, NONE,... ) használnak. A HAZOP elemzés során felsorolják a potenciális hiba okokat és a következményeket, valamint a hibákhoz rendelhető megelőző/védelmi intézkedéseket az általános tapasztalatok alapján.

Működőképesség- és veszélyelemzés (HAZOP) IGyR-10 p. 33/58

IGyR-10 p. 34/58 Meghibásodásmód és -hatás elemzése (FMEA) Tetszőleges rendszerek, alrendszerek, berendezések, funkciók, technológiai eljárások diagnosztikai szempontú minőségi analízise. Az FMEA feltérképezi maguknak a berendezéseknek, alrendszereknek a lehetséges meghibásodását, és a meghibásodások helyi és rendszer szintű következményeit. Az egyes meghibásodásokat a rendszeren belüli többi meghibásodástól független eseménynek tekinti, kivéve azokat a hatásokat, amelyeket maga a meghibásodás okozhat. Az FMEA analízis eredményét táblázatos formában rögzítik.

Meghibásodásmód és -hatás elemzése (FMEA) IGyR-10 p. 35/58

Folyamatbányászat IGyR-10 p. 36/58

IGyR-10 p. 37/58 Adatok felhasználása A folyamatbányászat az adatbányászat egy speciális területének is tekinthető

IGyR-10 p. 38/58 Mi is a folyamatbányászat? A folyamatbányászat célja: a folyamati adatokból valódi hasznosítható tudásanyag kinyerése. Felderíthetők és megjeleníthetők azok az összefüggések (pl. az ügyfélcsoportok, régiók, a termékek stb. között), amelyek a hosszú átfutási időért, a magas költségekért, a rossz minőségért felelősek. Felderíthetőek a gyártási folyamatban megjelenő hibák, amelyek a leállásokért, a hosszabb gyártási időért felelősek.

IGyR-10 p. 39/58 Kérdések, amelyekre választ kaphatunk: Melyik a leggyakrabban használt útvonal a folyamatban? Milyen bejárható útvonal lehetőségek léteznek a folyamatban? Mennyi az átfutási ideje az egyes eseményeknek? Mennyi a feladatok kiszolgálási ideje? Mikor zárul le egy eset? Mennyi idő telik el két feladat között a folyamatban? Tipikusan hány embert érint egy bizonyos feladat? Hol van eltérés a valódi (megfigyelt) folyamat és a modellezett folyamat viselkedése között? stb.

IGyR-10 p. 40/58 A folyamatbányászat perspektívái Minden folyamatot megvizsgálhatunk más-más szempont szerint is, ezeket perspektíváknak nevezzük.

IGyR-10 p. 41/58 Folyamatkezelő információs rendszerek folyamatirányító rendszerek, pl.: WebSphere software, Staffware, Flower, Eastman software, People Soft, Adept web szerverek, pl.: Apache SCM rendszerek (Szoftver Konfiguráció Menedzsment rendszerek), pl.: Subversion, CVS kórházi információs rendszerek pl.: Chipsoft vállalati erőforrás tervező rendszerek pl.: SAP ügyfél kapcsolatokat menedzselő rendszerek pl.: Microsoft Dinamics CRM Ezek felhasználásával készülhet a folyamatokról napló fájl

A folyamatbányászat magas szintű modell diagramja IGyR-10 p. 42/58

Egy lehetséges implementáció IGyR-10 p. 43/58

IGyR-10 p. 44/58 Folyamatbányászati segédprogramok A folymatbányászat fő lépései

IGyR-10 p. 45/58 Az információk meta modelljének létrehozása UML diagram

Mining XML struktúra IGyR-10 p. 46/58

IGyR-10 p. 47/58 Példa MXML formátum A Staffware rendszer saját formátumú naplózásának MXML formátumra való fordításából kapott eseménynapló egy részlete: <Source program="staffware"> <Data> <Attribute name="version">7.0</attribute> </Data> </Source> <Process id="main_process"> <Data> <Attribute name="description">complaints handling</attribute> </Data> <ProcessInstance id="case 1"> <AuditTrailEntry> <WorkflowModelElement>Case start</workflowmodelelement> <EventType unkowntype="case_event">unkown</eventtype> <Timestamp>2002-04-16T11:06:00:000+001:00</Timestamp> </AuditTrailEntry> <AuditTrailEntry> <WorkflowModelElement>Register complaint</workflowmodelelement> <EventType>schedule</EventType> <Timestamp>2002-04-16T11:16:00:000+001:00</Timestamp> <Originator>jvluin@staffw</Originator> </AuditTrailEntry>

IGyR-10 p. 48/58 Folyamatbányászati eszközök ProM keretrendszer nyílt forráskódú folyamatbányászati eszköz; jelenleg több mint 280 plugin érhető el az alkalmazáshoz jellemzői: az eseménynaplót MXML formátumban várja; naplózás szűrése; támogatja a legfontosabb folyamatmodelleket is inputként (Petri-háló, EPCs/EPKs (Aris gráf formátum), YAWL stb.); konvertálási lehetőségek; analízis; megfelelőség vizsgálat; verifikáció; stb.

A ProM keretrendszer architektúrája IGyR-10 p. 49/58

A ProM keretrendszer felhasználói felülete IGyR-10 p. 50/58

A ProM által generált Petri-háló IGyR-10 p. 51/58

Két trace összehasonlítása, a különbségek kiemelése IGyR-10 p. 52/58

IGyR-10 p. 53/58 Kapcsolati mátrix A folyamatban résztveők és az események kapcsolati mátrixa

IGyR-10 p. 54/58 Torlódás vizsgálat Az eseménynaplók bányászata ProM-ben: torlódás vizsgálat

IGyR-10 p. 55/58 Nyomonkövetés Az eseménynaplók bányászata ProM-ben: a folyamat végrehajtásának nyomonkövetése

IGyR-10 p. 56/58 Hasonlóság vizsgálat Az eseménynaplók bányászata ProM-ben: hasonlóság vizsgálat

IGyR-10 p. 57/58 Fitnesz teszt I. A fitnesz teszt összehasonlítása hibát tartalmazó modell és normál log esetében - modell nézet

IGyR-10 p. 58/58 Fitnesz teszt II. Fitnesz teszt egy normál referencia modell és egy működési hibákat tartalmazó log összehasonlítása alapján - log nézet