Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings
Saved in:
| Published in | Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control |
|---|---|
| Format | Conference Proceeding |
| Language | English |
| Online Access | Get full text |
| DOI | 10.1145/3365365.3382198 |
Cover
| BookMark | eNotj09LxDAUxHPQg66eveYLdE2aNk2OUvwHC3pQr-U1ebHBblqSyNJvbxcLAwPDzOP9rslFmAIScsfZnvOqvhdC1qv2QqiSa3VFvtoRUvKGQrB0LRdznOYB85ocJ4sjNQOaHx--qZsiHZY-ekvfMUdPA-ZETz4PNOXJDJDOI-fjWk435NLBmPB28x35fHr8aF-Kw9vza_twKGD9IBe90UIb0JapuhKghJFWOylLVQFYDoC8Es4p2aimLA0zzDXIJKLrK6t1KXaE_d_9DTMsJxjHbo7-CHHpOOvOyN2G3G3I4g-6n1IP |
|---|---|
| ContentType | Conference Proceeding |
| DBID | ADTOC UNPAY |
| DOI | 10.1145/3365365.3382198 |
| DatabaseName | Unpaywall for CDI: Periodical Content Unpaywall |
| Database_xml | – sequence: 1 dbid: UNPAY name: Unpaywall url: https://proxy.k.utb.cz/login?url=https://unpaywall.org/ sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | ut:oai:ris.utwente.nl:publications/3734b610-2f94-47f7-80c5-00570f339e50 |
| GroupedDBID | ADTOC UNPAY |
| ID | FETCH-LOGICAL-a338t-bc939ca9d08543a83c6d9f66284aad1aae143ff8678722c0c0f7e06eefb4d9923 |
| IEDL.DBID | UNPAY |
| IngestDate | Sun Oct 26 02:48:22 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| License | other-oa |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a338t-bc939ca9d08543a83c6d9f66284aad1aae143ff8678722c0c0f7e06eefb4d9923 |
| OpenAccessLink | https://proxy.k.utb.cz/login?url=https://research.utwente.nl/en/publications/3734b610-2f94-47f7-80c5-00570f339e50 |
| ParticipantIDs | unpaywall_primary_10_1145_3365365_3382198 |
| PublicationTitle | Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control |
| Score | 1.8005532 |
| SourceID | unpaywall |
| SourceType | Open Access Repository |
| Title | Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings |
| URI | https://research.utwente.nl/en/publications/3734b610-2f94-47f7-80c5-00570f339e50 |
| UnpaywallVersion | submittedVersion |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1NS8NAEF1KexAvKlZUVPbgxcOmafYj3aOIpQiWHqzUU9ns7tBiidGmlPrrnW3TKt4EIcdNeOwkmTfDvjeEXMfcxY63gUmRABNOpMwkwFkCEvAG52wSxMmPfdUbioeRHNXIYKuFqSxuJtGiXAZTyiiftXzeKn70sFo85SLDtI8P1IKJFMJ_1koWhJUxcK59KOIbSiI7r5PGsD-4falcfdpCtjhXEq8IizP8XDv7ZG-RF2a1NLPZj9TSPSDvW1CbEyWviCmL7Ocvv8b_RH1Imt9CPzrYpbAjUvP5MXleD8qcWmpyR_O3nCGwYhLEjnQ9N4dinG3osFMkvHSyCpovup7MRXNfzmlo7VLklHZiggk0hWnoHc6bZNi9f7rrsWr8AjO4NSXLrObaGu2QlQluOtwqp0EpTGjGuLYxHrkWQAfTXZokNrYxpD5W3kMmnEbieELqCNKfEopEog0A2iuD5ReXmep4XGyltQqEVWfkZheDcbGx2RhvJNNyXMVrXMXr_A9rL0i9_Fj4S-QNZXZVvQpfthrEqw |
| linkProvider | Unpaywall |
| linkToUnpaywall | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV1NS8NAEF1KexAvKlZUVPbgxcOmafYj3aOIpQiWHqzUU9ns7tBiidGmlPrrnW3TKt4EIcdNeOwkmTfDvjeEXMfcxY63gUmRABNOpMwkwFkCEvAG52wSxMmPfdUbioeRHNXIYKuFqSxuJtGiXAZTyiiftXzeKn70sFo85SLDtI8P1IKJFMJ_1koWhJUxcK59KOIbSiI7r5PGsD-4falcfdpCtjhXEq8IizP8XDv7ZG-RF2a1NLPZj9TSPSDvW1CbEyWviCmL7Ocvv8b_RH1Imt9CPzrYpbAjUvP5MXleD8qcWmpyR_O3nCGwYhLEjnQ9N4dinG3osFMkvHSyCpovup7MRXNfzmlo7VLklHZiggk0hWnoHc6bZNi9f7rrsWr8AjO4NSXLrObaGu2QlQluOtwqp0EpTGjGuLYxHrkWQAfTXZokNrYxpD5W3kMmnEbieELqCNKfEopEog0A2iuD5ReXmep4XGyltQqEVWfkZheDcbGx2RhvJNNyXMVrXMXr_A9rL0i9_Fj4S-QNZXZVvQpfthrEqw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+23rd+International+Conference+on+Hybrid+Systems%3A+Computation+and+Control&rft.atitle=Classic+and+non-prophetic+model+checking+for+hybrid+Petri+nets+with+stochastic+firings&rft_id=info:doi/10.1145%2F3365365.3382198&rft.externalDocID=ut%3Aoai%3Aris.utwente.nl%3Apublications%2F3734b610-2f94-47f7-80c5-00570f339e50 |