Attestation committee
Accreditation committee
Expert committee
Dispositions, instructions
Normative acts
Scientific councils
Scientific advisers
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
Scientific adviser: Toader Jucan
dr., prof. univ., Universitatea “Al. I. Cuza”,Iaşi, România
Scientific council:


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


Adobe PDF document0.35 Mb / in romanian


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


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.