Documente Academic
Documente Profesional
Documente Cultură
Cu titlu de manuscris
C.Z.U.: 519.7(043.3)
Inga CAMERZAN
AUTOREFERAT
al tezei de doctor în informatică
CHIŞINĂU
2007
1
Teza a fost elaborată în cadrul Catedrei de Informatică şi Tehnică de Calcul a
Universităţii de Stat din Tiraspol şi în cadrul colectivului de cercetare
“ Fundamentele Informaticii şi Sisteme Distribuite”
al Universităţii „Al. I. Cuza”, Iaşi, România
Emilian GUŢULEAC
dr. în şt. tehnice, conf. univ., UTM
Susţinerea va avea loc la 14 septembrie 2007 ora 1400 în şedinţa Consiliului ştiinţific
specializat DH 01.01.05.04 – 04 din cadrul Institutului de Matematică şi Informatică,
str. Academiei 5, Chişinău, MD 2028
Secretar ştiinţific
al Consiliului ştiinţific specializat,
dr. hab. în informatică _______________ Svetlana COJOCARU
I.M.I. al A.Ş.M.
Conducător ştiinţific:
dr., prof. univ. UAIC _______________ Toader JUCAN
2
Referinţe generale asupra lucrării
Actualitatea temei
4
Inovaţia ştiinţifică:
Aprobarea rezultatelor:
5
Publicaţii.
Rezultatele de bază ale tezei au fost publicate în 7 lucrări, inclusiv 3 sunt fără
coautori şi 2 în reviste recenzate. Lista publicaţiilor este expusă la sfârşitul
autoreferatului.
6
Conţinutul lucrării
7
arătate problemele de decizie cunoscute pentru această clasă de reţele (ele sunt
extinse de la reţelele Petri clasice şi sunt definite numai pentru clasa reţelelor Petri
cu salturi finite). În cele ce urmează s-a extins clasa reţelelor Petri cu salturi
incorporând noţiunea de timp în aceste reţele şi anume:
Definiţia 2. O reţea Petri P/T temporizată cu salturi, abreviat TJPTN,
este un 3-uplu γ = (Σ, R, Θ), unde Σ este o TPN, R este o relaţie binară pe mulţimea
marcărilor lui Σ (i. e. R ⊆ ΝP × NP), fiind numită mulţimea salturilor (spontane)
ale lui γ, Θ : T→ Q0+ este funcţia de temporizare care asociază tranziţiilor
întârzieri de timp. Prin marcare a reţelei γ se va înţelege orice marcare a reţelei de
bază (suport) Σ.
Pentru aceste reţele s-a formulat regula de j-tranziţie care arată cum are loc
evoluţia dinamică a sistemului modelat. În paragraful 2.5 s-au definit structurile de
accesibilitate pentru clasa reţelelor Petri temporizate cu salturi, adăugând arcelor
informaţia temporală pentru tranziţiile cărora le este asociat timp.
Definiţia 3. Fie γ =(Σ, R, Θ, M0) o reţea Petri temporizată cu salturi
marcată. Se numeşte arbore de accesibilitate al reţelei γ, orice arbore (NS, T∪{j} ×
Θ) - etichetat, ℜℑ = (V, E, l1 , l2 ) cu următoarele proprietăţi:
i) rădăcina lui, notată v0, este etichetată cu M0, adică l1(v0) = M0;
ii) pentru orice nod v ∈ V, |v+| = |T(Σ, l1(v))| + |{M ⎢( l1(v), M) ∈R}|;
iii) pentru orice nod v ∈ V cu |v+| > 0 şi orice t ∈ T(Σ, l1(v)) există v′ ∈ v+
astfel încât:
iii.1) (v, v′) ∈ E;
iii.2) l1(v′) = l1(v) + ∆t;
iii.3) l2(v, v′) = t;
iv) pentru orice nod v ∈ V cu |v+| > 0 şi orice M′∈ {M ⎢( l1(v), M) ∈R}
există v′ ∈ v+ astfel încât:
iv.1) (v, v′) ∈ E;
iv.2) l1(v′) = M′;
iv.3) l2(v, v′) = j;
Utilizând noţiunile definite mai sus s-a arătat că pentru clasa reţelelor Petri
temporizate cu salturi au loc următoarele teoreme:
Teorema 1. Problemele accesibilităţii, acoperirii, mărginirii, pseudo –
viabilităţii, viabilităţii sunt nedecidabile pentru clasa reţelelor Petri temporizate cu
salturi marcate.
Demonstraţia acestei teoreme se bazează pe faptul că reţelele Petri cu 1
inhibiţie pot fi simulate prin reţele Petri temporizate cu salturi, iar pentru primele
aceste probleme sunt nedecidabile.
Teorema 2. Problemele accesibilităţii, reducerii, acoperirii, mărginirii,
finititudinii mulţimii de accesibilitate şi a pseudo - viabilităţii sunt decidabile pentru
clasa reţelelor Petri temporizate cu salturi finite.
Decidabilitatea problemelor de mai sus se bazează pe utilizarea arborelui de
acoperire de tip Karp – Miller, care poate fi construit pentru această clasă de reţele.
8
Încheie acest capitol un paragraf în care sunt prezentate aplicaţii ale reţelelor
Petri temporizate cu salturi în modelarea sistemelor de calcul şi a altor tipuri de
sisteme.
9
Multe procese de afaceri au restricţii privitor la durata procesului, durata de
viaţă a activităţilor, etc. În managementul unui sistem workflow există o scurgere de
timp între momentele de când o activitate devine posibilă şi momentul când este
executată: o activitate posibilă necesită un declanşator extern şi o resursă
(reprezentată de o persoană, un mecanism sau program) pentru a o executa. Această
resursă poate fi disponibilă la momentul necesar, de aceea este necesar de considerat
în definirea workflowurilor şi constrângerile temporale. În general sunt cunoscute
mai multe metode de incorporare a timpului în reţelele Petri: asocierea timpului
diferitor obiecte ale reţelei, asocierea diferitor tipuri de timp - determinist şi
stochastic ş.a. În continuare se studiază doar WF reţelele cărora le este asociat timp
determinist sub formă de intervale de timp asociate tranziţiilor definite de P. Merlin
în 1972 şi studiate mai apoi de B. Berthomeu-M. Menasche, L. Popova, B.
Berthomieu-M. Diaz, H. Boucheneb-M. Berthelot. WF reţelele temporizate sunt WF
reţele clasice, unde fiecărei tranziţii t îi este asociat un interval de timp [at, bt],
momentele de timp at, bt sunt relative la momentul de timp la care tranziţia t a fost
ultima oară posibilă. Dacă se presupune că tranziţia t a fost posibilă ultima oară la
momentul ct, atunci ea va fi posibilă doar în intervalul [at+ct, bt+ct] şi trebuie să se
producă cel târziu la momentul bt+ct. Formal, se defineşte noţiunea de WF reţea
temporizată în modul următor:
Definiţia 5. O WF reţea temporizata este 5-uplul Σ = (P, T, F, W, I) unde
PN = (P, T, F, W) este o WF reţea, I: T→Q0+ × Q0+ este funcţia de temporizare care
asociază tranziţiilor intervale de timp şi pentru fiecare tranziţie t∈T, I1(t) ≤ I2(t), unde
I(t) = (I1(t), I2(t)).
WF reţeaua PN = (P, T, F, W) se numeşte reţea de bază (suport), marginea
inferioară a intervalului I1(t) este cel mai devreme moment de timp la care tranziţia t
se poate produce, marginea superioară a intervalului I2(t) este cel mai târziu moment
de timp la care se poate produce tranziţia t.
Un ceas global este asociat WF reţelei Petri temporizate, care începe să
funcţioneze odată cu apariţia primului punct în reţea. După asocierea timpului, WF
reţeaua va funcţiona în felul următor: din moment ce tranziţia devine posibilă sunt
rezervate punctele din locaţiile de intrare ale tranziţiei pentru I2(t) – I1(t) unităţi de
timp, după ce acest timp s-a scurs tranziţia se va produce imediat introducând puncte
în locaţiile sale de ieşire. Pentru tranziţiile aflate în conflict prima se produce tranziţia
care are marginea superioară a intervalului de timp asociat mai mică.
Noţiunea de stare se înţelege în felul următor: Fie S = (M, J) o stare.
Fiecare tranziţie în reţea are asociat un ceas, ceasul nu lucrează (J(t) = #), dacă t este
dislocată la marcarea M. Dacă t este posibilă la marcarea M, atunci ceasul indică
timpul J(t) care a trecut de când tranziţia t a fost ultima dată posibilă. Regula de
tranziţie este modificată astfel: o tranziţie este posibilă în WF reţeaua Σ, dacă t este
posibilă în reţeaua de bază şi specificaţiile temporale sunt satisfăcute, adică tranziţia t
a fost posibilă un interval de timp suficient.
Toate noţiunile de bază ale WF reţelelor au fost definite şi pentru clasa WF
reţelelor temporizate, cum ar fi: secvenţe de tranziţii, reţea extinsă, viabilitate,
corectitudine, mărginire, accesibilitate, mulţime a stărilor accesibile.
10
Pentru WF reţelele temporizate noţiunea de corectitudine s-a definit în
felul următor:
Definiţia 6. O WF reţea temporizată Σ, este corectă ddacă:
1. Pentru orice stare S accesibilă din starea iniţială S0, există o secvenţă ce
duce din S la starea finală (o, J) ∀S(S0[*〉S)⇒S[*〉(o, J );
2. Starea (o, J) este unica stare accesibilă din starea iniţială S0 cu cel mult
un punct în locaţia o: ∀S = (M, J)(S0[*〉S ∧M≥o ⇒M = 0));
3. Nu există tranziţii moarte în Σ: ∀t∈T, ∃S, S′( S0[*〉S[t〉S′ ).
Se menţionează faptul că proprietatea de corectitudine se referă la dinamica
unei WF reţele temporizate.
Pornind de la unele rezultate cunoscute pentru clasa WF reţelelor
netemporizate, în teză au fost demonstrate un şir de teoreme care prezintă un interes
deosebit pentru verificarea proprietăţilor structurale ale clasei WF reţelelor
temporizate. Aceste teoreme arată legătura dintre proprietăţile de viabilitate,
mărginire şi corectitudine. De asemenea au fost demonstrate un şir de teoreme, pentru
două clase mai restrânse de WF reţele temporizate, care arată că proprietăţile unei WF
reţele temporizate pot fi verificate pe baza proprietăţilor WF reţelei netemporizate
respective.
Lema 1. Fie Σ o WF reţea temporizată cu starea iniţială S0 = (i, J0). Dacă Σ '
(reţeaua extinsă) este viabilă şi mărginită, atunci Σ este o reţea flux de lucru corectă.
Următoarea lemă arată că, pentru WF reţelele temporizate cu tranziţii
imediate (adică tranziţii care se produc imediat ce devin posibile) proprietatea de
corectitudine implică mărginirea WF reţelei temporizate extinse.
Lema 2. Dacă Σ este o reţea corectă şi pentru orice t∈T: I1(t) = 0, atunci Σ ′
este mărginită.
Următoarea lemă demonstrează un rezultat similar cu cel prezentat în Lema
2. pentru WF reţele temporizate în care tranziţiile nu sunt obligate să se producă la un
moment specificat de timp.
Lema 3. Dacă Σ este o reţea corectă şi ∀ t∈T : I2(t) = +∞, atunci Σ′ este
mărginită.
Lema 4. Dacă Σ este o WF reţea temporizată corectă, atunci Σ′ este viabilă.
Pe baza lemelor de mai sus în teză s-au demonstrat următoarele teoreme:
12
Un rezultat important al acestui capitol îl reprezintă şi teorema 3.
Teorema 3. Fie γ o WF reţea Petri sigură care este extinsă la liberă alegere
sau unică alegere. Atunci ∏timed(γ) = ∏(γ).
13
Publicaţiile autorului la tema tezei
14
ADNOTARE
la teza de doctor „Proprietăţi structurale ale Reţelelor Petri temporizate”
Autor: Inga Camerzan
Dezvoltarea tehnologică din diversele arii ale ingineriei, cum ar fi: sistemele
de fabricaţie, sistemele de transport, sistemele de comunicaţii, sistemele de operare şi
platformele software dedicate, precum şi controlul de tip procedural a numeroaselor
clase de procese automatizate impun o dezvoltare vertiginoasă a formalismelor care
ar putea verifica proprietăţile sistemelor din aceste domenii. Reţele Petri au dat
dovadă de o deosebită flexibilitate în abordarea numeroaselor tipuri de probleme
practice, precum şi de o substanţială capacitate de extindere ca sferă de operare, prin
înglobarea unor puncte de vedere tot mai complexe. Incorporarea timpului este unul
din aceste puncte.
În teză sunt obţinute următoarele rezultate:
1. Definirea reţelelor Petri temporizate cu salturi şi a structurilor de acoperire
referitoare la ele.
2. Definirea reţelelor fluxuri de lucru temporizate, noţiunii de corectitudine.
3. Demonstrarea teoremelor care arată legătura dintre viabilitate, mărginire şi
corectitudine a reţelelor fluxuri de lucru temporizate.
4. Demonstrarea decidabilităţii problemei corectitudinii pentru reţelele fluxuri de
lucru temporizate.
5. Definirea proceselor pentru reţelele fluxuri de lucru temporizate.
Rezultatele acestei teze au un caracter inovator şi pot fi utilizate în cercetări
ulterioare în acest domeniu.
Cuvinte Cheie
15
ABSTRACT
of the Ph.D. thesis „Structural Properties of Timed Petri Nets”
Author: Inga Camerzan
The technological development of the various engineering areas such as:
made systems, transportation systems, communication systems, operating systems
and dedicated software pathways, as well as the proceedings check of numerous
automatized classes of processes require a dynamic development of forms which
would be able to check the properties of the varoius systems from the above
mentioned fields. Petri Nets have proved a special flexibility while approaching the
many types of practical problems, and have the tendency to expand the domain of its
activity by englobing some other, more complex, perspectives. The incorporation of
time is one of these perspectives.
Our research led to the accomplishment of the following results:
1. We defined timing jumping Petri Nets and elaborated a coverability
structure for them.
2. We defined timing workflow nets and formulated the notion of soundness.
3. We proved the theorems which display the relationship among viability,
boundness and soundness of the timing workflow nets.
4. We proved the decidability of soundness problem for some classes of
timing workflow nets.
5. We defined the notion of process for timing workflow nets.
Our research results prove to have an innovative character and can be helpful
while used and applied in other researches from this and neighbouring fields.
Keywords
Petri Nets, marking, transition sequence, accessibility tree, invariance
technique, workflow, timing workflow nets, timing jumping nets, process.
16
АННОТАЦИЯ
на докторскую диссертацию
”Структурные свойства временных сетей Петри”
Ключевые слова
17