Attestation committee
Accreditation committee
Expert committee
Dispositions, instructions
Normative acts
Nomenclature
Institutions
Scientific councils
Seminars
Theses
Scientific advisers
Scientists
Doctoral students
Postdoctoral students
CNAA logo

 română | русский | english


Structural properties of Time Petri nets


Author: Inga Camerzan
Degree:doctor of informatics
Speciality: 01.05.04 - Mathematical modelling, mathematical methods, software
Year:2007
Scientific adviser: Toader Jucan
dr., prof. univ., Universitatea “Al. I. Cuza”,Iaşi, România
Institution:
Scientific council:

Status

The thesis was presented on the 14 September, 2007
Approved by NCAA on the 18 October, 2007

Abstract

Adobe PDF document0.35 Mb / in romanian

Keywords

Petri nets, marking, transition sequence, accessibility tree, invariance technique, workflow, timing workflow nets, timing jumping nets, process

Summary

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:

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.