{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q5044397","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q5044397","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q5044397","kernelVersion":"v1","immutable":true,"modified":"2025-05-08T14:49:18Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q5044397","name":"A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking","headline":"A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking","description":"scientific article; zbMATH DE number 7609823","url":"https://portal.mardi4nfdi.de/entity/Q5044397","datePublished":"2022-10-31","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q832010"},{"@id":"https://portal.mardi4nfdi.de/entity/Q645043"},{"@id":"https://portal.mardi4nfdi.de/entity/Q832011"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q2803574"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.3233/FI-222134","url":"https://doi.org/10.3233/FI-222134"},"sameAs":["https://doi.org/10.3233/FI-222134"],"citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q3773358"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3075471"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2843317"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4037376"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5946344"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4791837"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5899041"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2363814"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4077431"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4417950"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1633343"},{"@id":"https://portal.mardi4nfdi.de/entity/Q5025068"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2233488"}]},"provenance":{"prov:generatedAtTime":"2025-05-08T14:49:18Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}