Kezdőlap
Hibatűrő Rendszerek Kutatócsoport
Méréstechnika és Információs Rendszerek Tanszék
BME Logo

Elsődleges linkek

  • Kezdőlap
  • Események
  • Oktatás
    • Specializációválasztás
    • BSc tárgyak (Új képzés)
    • MSc tárgyak (Új képzés)
    • Önálló munka
    • Választható tárgyak
    • Doktori tárgyak
    • Korábbi tárgyak
  • Kutatás
    • Kutatási területek
    • Alkalmazási területek
    • Projektek
    • Eszközök
    • Publikációk
  • Hallgatóink sikerei
    • Kari TDK eredmények
    • Országos TDK eredmények
  • Magunkról
    • Munkatársak
    • Megközelítés
    • Partnereink
    • IBM Center of Advanced Studies

Primary Links

Petri nets

Industrial applications of the PetriDotNet modelling and analysis tool

  • model checking
  • Modelling
  • Petri nets
  • Simulation
  • Stochastic analysis
Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I., "Industrial applications of the PetriDotNet modelling and analysis tool", Science of Computer Programming, vol. 157, pp. 17-40, 2018.
PDF: 
application/pdf iconFull text
  • BibTex

New Search Strategies for the Petri Net CEGAR Approach

  • Abstraction
  • CEGAR
  • ILP
  • Petri nets
  • Reachability analysis
Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015.
PDF: 
application/pdf iconFull text
  • BibTex

Optimization in Graph Transformation Systems Using Petri Net Based Techniques

  • graph transformation
  • optimization
  • Petri nets
  • verification
Varró-Gyapay, S., and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006.
  • BibTex

Termination Analysis of Model Transformations by {Petri} Nets

  • graph transformation
  • model transformation
  • Petri nets
  • termination
Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G., "Termination Analysis of Model Transformations by {Petri} Nets", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
  • BibTex
Tartalom átvétel

Nyelvek

  • English
  • Magyar
BME Címtár belépés

Belépés

Leírások

  • Dokumentáció és mérési jegyzőkönyvek készítése
  • Házi feladatok és jegyzőkönyvek leadása
  • IT szolgáltatások
  • Egyéb leírások

Navigáció

  • Conference materials

  • Oldaltérkép
  • Megközelítés
  • Levél a webmesternek