Discrete, Continuous, and Hybrid Petri Nets

• Martin: A Novel Mechanism for Rate Adaption in Continuous Petri Nets

  2026 Lecture notes in computer science conference-paper Computer Science Petri Nets in System Modeling

  0

  citations
• SMT: Something You Must Try

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  citations
• GRAFCET Reduction Techniques for Model Checking

  2023 2022 IEEE 20th International Conference on Industrial Informatics (INDIN) conference-paper Computer Science Formal Methods in Verification

  4

  citations
• Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

  2022 IEEE Access article Computer Science Model-Driven Software Engineering Techniques Open access

  12

  citations
• Introduction

  2022 Studies in computational intelligence book-chapter Computer Science Formal Methods in Verification

  0

  citations
• Estimation of Kinetic Parameters in Stochastic Biomedical Models Using Estimation Theory

  2021 IEEE International Symposium on Intelligent Systems and Informatics (SISY) conference-paper Computer Science Petri Nets in System Modeling

  0

  citations
• Incremental Parameter Estimation of Stochastic State-Based Models

  2021 IEEE World Symposium on Applied Machine Intelligence and Informatics (SAMI) conference-paper Biochemistry, Genetics and Molecular Biology Gene Regulatory Network Analysis cited by 1 patent

  3

  citations

7 results