{"entities":{"Q5930251":{"pageid":8107053,"ns":120,"title":"Item:Q5930251","lastrevid":93421613,"modified":"2026-06-05T04:22:19Z","type":"item","id":"Q5930251","labels":{"en":{"language":"en","value":"Decidability results in first-order hybrid Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1587738"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$383BE75B-1CE9-4B36-A249-41C4D2DC1D5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dde3a8af6e131bdffd2d84c594da06fe24c3169","datavalue":{"value":{"text":"Decidability results in first-order hybrid Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5930251$88F0CDE3-4CEC-4E31-97D3-2F07C0C57433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9720080d10122a02f3d63530c9ce3dadf6eef3f","datavalue":{"value":"0971.93051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$AB38A610-DDCC-4DF2-855A-E63BFB487BA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6cc61f83d8ed62c146771f237e335d8c579e840","datavalue":{"value":"10.1023/A:1008383031624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$64CA6DDA-3704-4EBC-AECE-322FBFD453EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7a1cb56eab29b92145af7e32c50b3f730781f11","datavalue":{"value":{"entity-type":"item","numeric-id":172782,"id":"Q172782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$79F4F778-8F08-4E2D-AD56-BDE3AA366686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97dac8d7dc887aafde4e859d2e69317ceaf677fb","datavalue":{"value":{"entity-type":"item","numeric-id":172783,"id":"Q172783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$B1C059B5-A5FB-4B00-9836-9B025F51C371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"479784e7540b067b28b0c036a665848976358bb5","datavalue":{"value":{"entity-type":"item","numeric-id":172784,"id":"Q172784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$BD09485C-E84E-4F7E-8C6B-5935ADCBB24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df19460f1c0c60639299e2b3cc257130afa31af5","datavalue":{"value":{"entity-type":"item","numeric-id":172785,"id":"Q172785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$52917793-C5D9-4D6F-95DB-5043F4337F37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$2F7299F1-5BA1-4D03-8E3B-346CC373BC1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"756efeced69ae924328e62c9eeb77201236289cc","datavalue":{"value":{"time":"+2001-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5930251$1A7F901E-BF32-47F3-A166-661BA015F4EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"13ed054b69e23ddf1eb665d8836ba148558ac3f8","datavalue":{"value":"A First-Order Hybrid Petri Net (FOHPN) is a system \\(N=(P, T, \\text{Pre,Post}, C)\\), where \\(C : T_{c} \\to \\mathbb{R}^{+}_{0} \\times \\mathbb{R}^{+}_{\\infty}\\) specifies the firing speeds associated to continuous transitions.    In this paper a special class of FOHPN is determined, consisting of nets, satisfying the conditions: \\(\\text{Pre, Post}\\in \\mathbb{N}^{n \\times q}\\), \\(T_{c}= \\{ t_{c} \\}\\), \\({}^{\\bullet}t_{c}= \\emptyset\\), \\(C(t_{c})=(v,v)\\) \\((v \\in \\mathbb{N}^{+})\\), \\(\\{w_{i}= \\text{Post} (p_{i}, t_{c}) \\mid p_{i} \\in P_{c} \\}\\) is a set of positive integers such that \\(\\text{GCD} ( w_{1} , \\dots , w_{n_{c}}) = 1\\). Elements of this class are named Single-Rate FOHPN (SRHPN).    It is established that the reachability problem for SRHPN is decidable. The method of proof is based on reducing to a reachability problem for a corresponding discrete PN (it is known that the last one is decidable).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930251$3874CB15-9590-4423-B653-C16673E47A3A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a883836726fb5f7be41f75195c71bf60ba06b063","datavalue":{"value":{"entity-type":"item","numeric-id":821296,"id":"Q821296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$FC58EC3A-3CDD-406E-A442-8FAD1F2AE3FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$B6F4CFD9-44E2-4429-98CB-F1C739401747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$71D1FCFA-7ED1-42B8-8C1A-48A575A643AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$4A4CA1F1-1A88-47C3-9D19-C6A545C73328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$DA0FE4FF-FA02-46A8-B930-F15B196D55AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35240fcb0af3e15dd0ea6b6442bccefce26c05c6","datavalue":{"value":"1587738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$CE480457-C5A8-45DD-B7CB-5575F59D7500","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930251$58A00FB5-8455-4C60-9E0C-D7197402A49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9424967bd67a0e65872cd6530b255138d589eb9","datavalue":{"value":"decidability properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930251$F0E81BF8-FECD-48CB-9216-52F35A7D59AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d02c8ddc942d2cac6c0108881c307cc105db4068","datavalue":{"value":"hybrid Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930251$E4F36EC4-59AC-494D-961E-3BB5045D078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930251$C52D7073-5FE2-4813-AA70-D47E0D5CD66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5930251$20C2C79C-2E84-4316-861C-66403ED6AC09","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5930251$7A44BEC4-5CFC-4B31-93A2-1FBEE200FEFD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"33a5ec31fb2109801745d8009962ec64dbc1ccd1","datavalue":{"value":"https://doi.org/10.1023/a:1008383031624","type":"string"},"datatype":"url"},"type":"statement","id":"Q5930251$A2DDDE39-3726-4B55-97C8-ADC0C8D3694D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca47f2cf1a955ea3d883dc9dc57a82fe18d9e3b6","datavalue":{"value":"W2065733181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5930251$53E64500-D808-44B5-ADD3-B2D806C151FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7aae52abb6839b4f62374a0c58f9f04bf2855b6","datavalue":{"value":{"entity-type":"item","numeric-id":1813788,"id":"Q1813788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eabe74f9e727927e69a9563627a19fc69af63e98","datavalue":{"value":{"amount":"+0.7949598431587219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930251$C5B6C898-0AA1-49E6-9FEF-6BE73E15188F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0191fe4196247a618accce4104371c024b4530","datavalue":{"value":{"entity-type":"item","numeric-id":3510807,"id":"Q3510807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccbcb13958d34a04895e61127771e58bb2555f9","datavalue":{"value":{"amount":"+0.7937592267990112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930251$65C0B436-49BA-4477-B9B2-5C3551B2E6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bf4d37158eb3abb2df535f027a48df933e29c6","datavalue":{"value":{"entity-type":"item","numeric-id":2911619,"id":"Q2911619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c0594baaced12215a59b17964542d8b6797a97","datavalue":{"value":{"amount":"+0.7759514451026917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930251$D885DA47-AC22-45A9-9135-A16D47F92FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc6bbdedcc3faa119ed2c5df8b315d294ae06b49","datavalue":{"value":{"entity-type":"item","numeric-id":5930250,"id":"Q5930250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb20c7c452d81e680e1f4c090aadd8248227e60","datavalue":{"value":{"amount":"+0.7727400660514832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930251$27610274-F290-409A-902D-5B413E688EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34097ca609c1ecd4ecd166a5622e1f0e6bde3616","datavalue":{"value":{"entity-type":"item","numeric-id":5144614,"id":"Q5144614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb20c7c452d81e680e1f4c090aadd8248227e60","datavalue":{"value":{"amount":"+0.7727400660514832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5930251$75438078-1973-4CB1-A7F0-1CD6061F0757","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability results in first-order hybrid Petri nets","badges":[]}}}}}