Professional Documents
Culture Documents
Modelovanje poslovnih
procesa
- Teorijske osnove Sinia Nekovi
Sadraj
Pojam sistema
Sistemi sa kontinualnim vremenom
Sistemi sa diskretnim dogaajima
Prikaz teorija za modelovanje
sistema sa diskretnim dogaajima
Pojam sistema
Skup entiteta (realnih ili apstraktnih) i njihovih
meusobnih veza koji zajedno ine celinu
U mnogim naunim oblastima se fenomeni (predmeti
izuavanja) mogu posmatrati kao sistemi
Bioloki sistemi
ivi organizmi
Tehniki sistemi
strujno kolo,
Organizacioni sistemi
Poslovni sistem (preduzee)
u1
u2
...
ur
Izlazi sistema
y2
...
yk
Sistem sa kontinualnim
vremenom
Ulazi i izlazi sistema imaju kontinualne
vrednosti u vremenu
S: T U Y
y1
u1
u2
...
ur
y2
...
yk
Sistem sa kontinualnim
vremenom
Eksplicitni oblik S = { F: T U Y, A }
Skup familija funkcija Fa iji svaki elemenat
napisan u eksplicitnom obliku je:
ya(t) = fa (t,u)
Predstavlja izlaz sistema dobijen u "eksperimentu ".
Sistem sa diskretnim
dogaajima
Sistemi u kojima su ulazi i izlazi diskretni
dogaaji
Ponaanje sistema ne zavisi od vremena
Sistem sa diskretnim
dogaajima
Mnoge klase realnih sistema se
prirodnije opisuju kao sistemi sa
diskretnim dogaajima
Softverski sistemi
Ulazi: pritisak na taster, izbor menija
Izlazi: prikaz forme i podataka na njoj,
zatvaranje forme
Sistem sa diskretnim
dogaajima
Formalizmi za opisivanje sistema sa
diskretnim dogaajima:
Petrijeve mree
Dijagram promene stanja
Petrijeve mree
Petrijeve mree su matematiki
formalizam, kojim se opisuju sistemi sa
diskretnim dogaajima
Predloen od strane Carl Adam Petri-ja
1962. god.
Petrijeve mree omoguavaju:
Petrijeve mree
Petri mreu (PM) ini bipartitni graf koji se
sastoji iz dva tipa vorova: mesta i tranzicija.
vorovi se povezuju sa lukovima.
Povezivanje vorova istog tipa nije
dozvoljeno.
Petrijeve mree
Definicija: Petri mrea (PM) je trojka (P,T,F) gde je:
Petrijeve mree
Tranzicije mogu predstavljati
Petrijeve mree
PM se mogu izvravati!
Izvravanje bazirano na konceptu tokena
Distribucija tokena po mestima se naziva
ispaljivanje (eng. fire)
Markiranje PM predstavlja preslikavanje koje
svakom mestu dodeljuje nenegativan broj koji
predstavlja broj tokena u njemu
Markiranje predstavlja stanje sistema
Markiranje [1 1 0]
Petrijeve
mree
Postojanje tokena u mestu oznaava dostupnost resursa
ili ispunjenost uslova za tranziciju, dok nepostojanje
predstavlja obrnuto.
Tranzicija t je omoguena i moe se okinuti, ako sva
ulazna mesta imaju bar po jedan token.
Kada se tranzicija ispali, token se uklanja iz svakog
ulaznog mesta, a token se proizvodi u svakoj izlaznom
mestu. Ispaljivanje je atomska operacija koja se ne
moe prekinuti.
Ako se ne definie redosled ispaljivanja tranzicija (eng.
execution policy), izvravanje Petrijeve mree je
nedeterministiko, tj. ako postoji vie tranzicija koje
imaju uslov za ispaljivanje, bilo koja od njih se moe
ispaliti.
Petrijeve mree
Korak 1
Petrijeve mree
Korak 2
Petrijeve mree
Korak 3
Petrijeve mree
Korak 4
Petrijeve mree
Korak 5
Petrijeve mree
Korak 6
Petrijeve mree
Kada se sudar kugli dogodi, kugle
poinju da se udaljavaju jedna od druge
Petrijeve mree
Kugla A udara u ivicu stola, menja
pravac kretanja