Work

Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving

Year: 2023

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-33620-1_20

Authors: Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming

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, University of Cambridge

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Agence Nationale de la Recherche

Award: Better Synthesis for Underspecified Quantitative Systems

OpenAlex ID: W4378551267

FWCI: 3.737

Cites: 48

Cited by: 9

Related to: 10