Work

Taking Complete Finite Prefixes To High Level, Symbolically*

Year: 2024

Type: article

Source: Fundamenta Informaticae

DOI: 10.3233/fi-242196

Authors: Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke

Institutions: Carl von Ossietzky Universität Oldenburg, Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université Paris-Saclay

Language: English

Topic: Petri Nets in System Modeling

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4402665431

FWCI:

Cites:

Cited by:

Related to: 10