Home
Fault Tolerant Systems Research Group
Department of Measurement and Information Systems
BME Logo

Primary Links

  • Home
  • Events
  • Education
    • Critical Embedded Systems
    • System Modelling
    • Software and Systems Verification
    • Formal Methods
    • Software Verification and Validation
  • Research
    • Research Directions
    • Application Areas
    • Projects
    • Tools
  • Publications
    • Authors
    • Keywords
  • About Us
    • Members
    • Location
    • Partners and Sponsors

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
Syndicate content

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login

Leírások

  • Submitting homework and lab assignments
  • IT Services
  • Egyéb leírások

Navigation

  • Conference materials

  • Sitemap
  • Location
  • Contact Webmaster