Work

A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets

Year: 2024

Type: article

Source: Fundamenta Informaticae

DOI: 10.3233/fi-242195

Authors: Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci

Institutions: Centre National de la Recherche Scientifique, Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord, Pohang University of Science and Technology, University of Oslo

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Agence Nationale de la Recherche

Award: Better Synthesis for Underspecified Quantitative Systems

OpenAlex ID: W4402665439

FWCI: 0.802

Cites:

Cited by: 4

Related to: 10