@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00958056v1> a dcat:Dataset ;
    dct:description """
              Functional Petri nets and subnets are introduced and studied for the purpose of speed-up of Petri nets analysis with algebraic methods. We show that any functional subnet may be generated by a composition of minimal functional subnets. We propose two ways to decompose a Petri net: via logical equations solution and with an ad-hoc algorithm, whose complexity is polynomial. Then properties of functional subnets are studied. We show that linear invariants of Petri net may be computed from invariants of its functional subnets; similar results also hold for the fundamental equation of Petri nets. A technique for Petri net analysis using composition of functional subnets is also introduced and studied. We show that composition-based calculation of invariants and solutions of fundamental equation provides a significant speed-up of computations. For an additional speed-up we propose a sequential composition of functional subnets. Sequential composition is formalised in the terms of graph theory and was named the optimal collapse of a weighted graph. At last, we apply the introduced technique to the analysis of Petri net models of such well-known telecommunication protocols as ECMA, TCP, BGP.
            """ ;
    dct:identifier "hal-00958056" ;
    dct:issued "2026-05-06T02:00:00.097632"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-06T02:00:00.097638"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Functional Petri Nets" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00958056v1/resource/087bad12-c178-41ef-991e-2a34d17ce0e9> ;
    dcat:keyword "infoeu-reposemanticspreprint",
        "infoinfo-pfcomputer-science-csperformance-cspf",
        "preprints-working-papers-" ;
    dcat:landingPage <https://hal.science/hal-00958056> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00958056v1/resource/087bad12-c178-41ef-991e-2a34d17ce0e9> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-06T02:00:00.108503"^^xsd:dateTime ;
    dct:modified "2026-05-06T02:00:00.089321"^^xsd:dateTime ;
    dct:title "Functional Petri Nets" ;
    dcat:accessURL <https://hal.science/hal-00958056> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://hal.science/hal-00958056> a foaf:Document .