• Mail
    • Doleance
    • Alumni
    Université Mohamed Khider Biskra
    • Home
    • University
      • Rector's speech
      • Presentation
      • Administrations
      • Policies
      • Statistics
      • Who is Mohamed KHIDER?
      • Access plan
      • Biskra city
    • Rectorship
      • Rector
      • Pedagogy
      • Post graduation and scientific research
      • External relations and cooperation
      • Development, prospective and orientation
      • General Secretariat
    • Faculties
      • Exact sciences, natural sciences and life sciences
      • Economics, management and commerce
      • Sciences and technology
      • Law and political sciences
      • Social sciences and humanities
      • ISTAPS
      • Letters and languages
      • Medical annex
    • Services
      • Common services
        • Intensive Language Learning Center
        • Center for information and communication, distance and distance learning systems and networks
        • Printing and Visual Audio Center
      • House of Entrepreneurship
      • Technology and Innovation Support Centers
      • Career Center
      • Liaison Office Entreprise-University
      • High Performance Computing
      • Scientific, Cultural and Sports Activities
      • Accompanying cell for newly recruited teachers
      • Psychological Help Center
      • Social medical center
      • Exam and competitions center
      • Startup incubator
      • Higher Training Center
      • Digital Strategy Office
      • The Quality Assurance Cell
      • University ethics and professional conduct
    • STAFF
    • Contacts
    • STARTUP
    • Study in Biskra

    Réseaux de Petri: Concepts et Applications

    La Faculté des Sciences Exactes et des Sciences de la Nature et de la Vie, le département d’informatique et le laboratoire LINFI organisent, les 05 et 06 Mai 2014, des cours sur :

    « Réseaux de Petri: Concepts et Applications »

    Ces cours seront présenté par Mr Baarir Souhieb, maitre de conférence à l’université Paris 10 (Nanterre), et chercheur permanent au laboratoire de Paris 6 (LIP6). Les cours se dérouleront selon le programme suivant :

     

     

    Lundi 05/05/2014 :

    A partir de 8 -30 :

    -          Introduction aux Réseaux de Petri ;

    -          Réseaux de Petri coloré bien formé ;

    -          Logique Temporelle ;

    -          Analyse Symétrique ;

     

    Mardi 06/05/2014 :

    A partir de 8 -30 :

    -          Introduction aux processus stochastiques et aux chaines de markov ;

    -          Les Réseaux de Petri Stochastiques ;

    -          L’outil de modélisation et vérification : GSPN.

     

     

    • Les cours se dérouleront au niveau de la salle audio-visuelle ;

    Tous les enseignants, les doctorants et les étudiants sont cordialement invités ;

    Social Research

    Université Mohamed Khider Biskra - Algerie

    Maps...

    university maps

    Useful links

    • Ministry (MESRS)
    • regional conference (CRUEst)
    • DG-RSDT
    • CRSTRA
    • European project QESAMED
    • CRAPC
    • Official journal
    • Plateforme E-learning et E-collaborative
    • Larhyss journal
    • UNIMED, the Mediterranean Universities Union
    • Artificial Intelligence in the Social Sciences Research Area

    City of Biskra

    musee2
    • Adresse : University of Biskra,  BP 145 RP, 07000 Biskra, Algérie
    • Tél : 033 54 31 60
    • Fax 1: 033 54 31 92
    • Fax 2: 033 54 31 40
    • Standard Tél 1: 033 54 31 60
    • Standard Tél 2: 033 54 31 61
    • Standard Tél 3: 033 54 31 62
    • Email: webmaster@univ-biskra.dz

    Main Menu EN

    • Home
    • University
      • Rector's speech
      • Presentation
      • Administrations
      • Policies
      • Statistics
      • Who is Mohamed KHIDER?
      • Access plan
      • Biskra city
    • Rectorship
      • Rector
      • Pedagogy
      • Post graduation and scientific research
      • External relations and cooperation
      • Development, prospective and orientation
      • General Secretariat
    • Faculties
      • Exact sciences, natural sciences and life sciences
      • Economics, management and commerce
      • Sciences and technology
      • Law and political sciences
      • Social sciences and humanities
      • ISTAPS
      • Letters and languages
      • Medical annex
    • Services
      • Common services
        • Intensive Language Learning Center
        • Center for information and communication, distance and distance learning systems and networks
        • Printing and Visual Audio Center
      • House of Entrepreneurship
      • Technology and Innovation Support Centers
      • Career Center
      • Liaison Office Entreprise-University
      • High Performance Computing
      • Scientific, Cultural and Sports Activities
      • Accompanying cell for newly recruited teachers
      • Psychological Help Center
      • Social medical center
      • Exam and competitions center
      • Startup incubator
      • Higher Training Center
      • Digital Strategy Office
      • The Quality Assurance Cell
      • University ethics and professional conduct
    • STAFF
    • Contacts
    • STARTUP
    • Study in Biskra
    • Alumni