Redukcja sieci Petriego

Slides:



Advertisements
Podobne prezentacje
Raport z badania Źródła informacji i uczestnictwo w targach maszynowych dla Polskiej Izby Gospodarczej Maszyn i Urządzeń Rolniczych.
Advertisements

Równowaga ciecz-ciecz w układzie dwuskładnikowym (1)
Sprawdziany: Postać zespolona szeregu Fouriera gdzie Związek z rozwinięciem.
Macierzowa reprezentacja sieci
Literatura podstawowa
6. Układy kształtujące funkcje odcinkami prostoliniowymi
Sieci Petriego Marcin Jałmużna.
Kategorie systemów czasu rzeczywistego
Grafika komputerowa Wykład 7 Krzywe na płaszczyźnie
SEMINARIUM 2007 NOWOCZESNE TECHNOLOGIE EDUKACYJNE SZANSĄ PRZYSPIESZENIA ROZWOJU JEDNOSTEK SAMORZĄDU TERYTORIALNEGO A. Ludwicki Warszawa, 19 lutego 2007.
Badanie opinii i postaw członków Konfederacji Pracodawców Prywatnych LEWIATAN na temat aktualnej sytuacji w Polsce Wrzesień 2007 RAPORT PRZYGOTOWANY DLA.
SPRAW WEWNĘTRZNYCH I ADMINISTRACJI i Systemu Rejestrów Państwowych
Exchange rates. Definition The price of a currency. 1 euro = 4 zloties means that 1 zloty = 0,25 euro.
Systemy zarządzania bazami danych 9. Transakcje. Oryginał: Hector Garcia-Molina9. Transakcje2 Współbieżność, wielodostęp T 1 T 2 …T n BD (więzy integralności)
Teoria sprężystości i plastyczności
Szacowanie pracochłonności
Metody formalne Copyright, 2005 © Jerzy R. Nawrocki Analiza systemów informatycznych.
Wprowadzenie do sieci Petriego
Zarządzanie logistyczne
Warunki w triangulacji
Obliczenia macierzowe cz.2
Rozwiązywanie układów
Sztuczna Inteligencja Reprezentacja wiedzy II Systemy produkcyjne Włodzisław Duch Katedra Informatyki Stosowanej UMK Google: W. Duch.
Inżynieria oprogramowania, Wykład 4 Slide 1 Zarządzanie przedsięwzięciami Zarządzający programowaniem odpowiadają za planowanie i tworzenie harmonogramu.
Równowaga ciecz-ciecz w układzie dwuskładnikowym (1)
CIŚNIENIE GAZU DOSKONAŁEGO
M I N I S T E R S T W O O B R O N Y N A R O D O W E J
Jak włączyć się do 6PR? Przegląd możliwości uczestnictwa Elżbieta Książek Regionalny Punkt Kontaktowy 6PR Poznański Park Naukowo-Technologiczny Fundacji.
JAKOŚĆ I BEZPIECZEŃSTWO
RODZAJE KOMUNIKACJI MIĘDZY PROCESAMI
Automatyzacja procesów produkcji
Zarządzanie transakcjami Wykład S. Kozielski. Zarządzanie transakcjami Transakcja – jedna lub więcej operacji na bazie danych stanowiących pewną logiczną
Bazy Danych Wykład 1 S. Kozielski.
M I N I S T E R S T W O O B R O N Y N A R O D O W E J
W OPISIE PRZEMIANY CIECZ-PARA
HYBRYDYZACJA.
PRZEMIANY STAŁEJ MASY GAZU DOSKONAŁEGO
Analiza porównawcza ZESPOŁÓW SZKÓŁ W POWIECIE EŁCKIM.
MCS51 - wykład 2.
Mikroprocesor Z80 przerwania.
SPORTSTER SPORTSTER LTD SPORTSTER P1 filozofia
Tempo, przyrosty, indeksy, wahania, średnie ruchome
orbitale cząsteczkowe:
Foresight technologiczny w zakresie materiałów polimerowych
Teoria sterowania 2012/2013Organizacja prowadzenia i program przedmiotu Kazimierz Duzinkiewicz, dr hab. inż.Katedra Inżynierii Systemów Sterowania1 Wydział
Modelowanie i podstawy identyfikacji 2012/2013Organizacja prowadzenia i program przedmiotu Kazimierz Duzinkiewicz, dr hab. inż.Katedra Inżynierii Systemów.
Równowaga gospodarcza w warunkach giętkich cen. Ekonomia podażowa
Podatki a funkcja konsumpcji
Inflacja Makroekonomia 7/T1 Ryszard Rapacki.
Wprowadzenie do makroekonomii
Wprowadzenie do systemu wizualizacji procesów przemysłowych
Wpływ czynników (do analizy STEEP )
Elektroniczne Systemy Zabezpieczeń Zasilanie Roju.
Trendy rynkowe w Polsce i na świecie Bogdan Kaliński, Elmark Automatyka.
Copyright Silca S.p.A Advanced Technology for Security CROWN.
Ocena Rezultatów Projektów Działania 2.1 i 2.3 SPO-WKP, po 18 miesiącach wyniki I rundy badania (aneks do prezentacji) Sekcja Ewaluacji Warszawa, wrzesień
Podstawy modelowania i identyfikacji 2011/2012Organizacja prowadzenia i program przedmiotu Kazimierz Duzinkiewicz, dr hab. inż.Katedra Inżynierii Systemów.
Struktury i algorytmy wspomagania decyzji 2013/2014Organizacja prowadzenia i program przedmiotu Kazimierz Duzinkiewicz, dr hab. inż.Katedra Inżynierii.
Struktury i algorytmy wspomagania decyzji 2012/2013Organizacja prowadzenia i program przedmiotu Kazimierz Duzinkiewicz, dr hab. inż.Katedra Inżynierii.
Semestr zimowy roku akademickiego 2012/2013
Niepełnosprawni wzrokowo
Modelowanie konstrukcyjne form spódnicy damskiej podstawowej
Bryły obrotowe Walec Stożek Kula Przekroje
Opracowanie ćwiczeń dotyczących zapewniania niezawodności baz danych na przykładzie Oracle Opiekun : dr inż. Agnieszka Landowska Dyplomant : Tomasz Krzyżanowski.
ZASADY FUNKCJONOWANIA UCZELNIANEGO SYSTEMU ZAPEWNIANIA JAKOŚCI KSZTAŁCENIA W POLITECHNICE WROCŁAWSKIEJ § 3. W celu realizacji zadań USZJK na szczeblu uczelnianym,
Pojęcie i rodzaje sceptycyzmu oraz pojęcia pokrewne
MOiPP Matlab Aproksymacja Interpolacja Inne metody obliczeniowe
Równowaga ciecz-ciecz w układzie dwuskładnikowym (1)
Interpretowane sieci Petriego
594.Dwie grzałki o oporach R1=100W i R2=130W włączono do sieci o napięciu U=230V, najpierw równolegle a potem szeregowo. W którym przypadku jest większa.
Zapis prezentacji:

Redukcja sieci Petriego Operacje redukcji: jeśli  - sieć przed stosowaniem operacji, a ’ - po stosowaniu, to ’ jest żywa, bezpieczna czy ograniczona, jeśli i tylko jeśli  żywa, bezpieczna czy ograniczona, odpowiednie. b) Sklejanie szeregowych tranzycji a) Sklejanie szeregowych miejsc

Redukcja sieci Petriego c) Sklejanie równoległych miejsc d) Sklejanie równoległych tranzycji

Redukcja sieci Petriego e) Usunięcie pętli (miejsca) f) Usunięcie pętli (tranzycji) Przykład

Operacje redukcji dla EFC-sieci a) Zastępowanie p6 p6 p4 p1 p1 p2  p2 p3 p7 p5 p7 p3 b) Usunięcie pętli p1 p1  p2 p2 p3 p3

Przykład redukcji EFC-sieci t6 t5 t4 p3 p6 p7 p2 p4 p1 p5 p8 t1 t2 t3 t8 p6 p7 p1 p8 t8 t10 t11 t6 t5 t4 p3 p6 p7 p2 p4 p1 p8 t1 t9 t8 t12 p1

Dekompozycja hierarchiczna Sieć Petriego dla stanowiska do wiercenia

Dekompozycja hierarchiczna RT p1 t1 START t16 p16 t17 !R t18 R t2 X1 M6 p2 RT p1 t1 START t16 p16 t17 !R t18 R t2 X1 M4 M5 M3 Makrosieci: drugi (a) i trzeci (b) poziom hierarchii

Makromiejsce (przykład)

Dekompozycja i redukcja