{"entities":{"Q2493434":{"pageid":2504177,"ns":120,"title":"Item:Q2493434","lastrevid":49852156,"modified":"2026-01-11T07:52:13Z","type":"item","id":"Q2493434","labels":{"en":{"language":"en","value":"Advances in verification of time Petri nets and timed automata. A temporal logic approach."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5031700"}},"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":"Q2493434$BF63FB63-16DD-46A3-87DE-121614D275E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c21ae176c3b952ea528bd734562787ae0f7b24c5","datavalue":{"value":{"text":"Advances in verification of time Petri nets and timed automata. A temporal logic approach.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2493434$CD78E88E-D5F7-49F6-AB77-B61E1C7BADF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d32fc0ee8e1b872bb423da011883104d3aeb6bb","datavalue":{"value":"1110.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$BBF94093-47DD-4394-9437-53BC05C9E09B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"712b55e688e0e76ef31926f186c4d4e4be9bfa8b","datavalue":{"value":"10.1007/978-3-540-32870-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$50190B86-92B3-4FC0-A23F-A49C1C6740BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$9CC92118-C5F0-4342-98B7-E449D34D254B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e8e51edb23208f92526e006503dcdd3fefdffb","datavalue":{"value":{"entity-type":"item","numeric-id":2493433,"id":"Q2493433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$75EC2A72-937F-49B9-8AFB-87D57FCA3CD9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f38d95efbcf78e0db559c8cececb5f3c728c9a9","datavalue":{"value":{"entity-type":"item","numeric-id":287589,"id":"Q287589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$62F22D12-9EA4-4697-B922-8DEC95CB4AF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"845561805aa064116e0ab296c507bb0e491e29cc","datavalue":{"value":{"time":"+2006-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2493434$A591B7C7-EA0F-41B1-98E8-84BDE692BAF2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e751c5b7db2c0e80695e1a58cc5b5cf3078a7bb1","datavalue":{"value":"This monograph presents a comprehensive introduction to timed automata and timed Petri nets. It presents some of the existing methods of translating time Petri nets into timed automata and focuses on translations that associate clocks to various net components. Both timed and untimed temporal specification languages are introduced and model abstraction methods based on both state classes of timed Petri nets and partition refinement of timed automata are discussed. The book also presents two model checking methods, one based on exploiting abstract state spaces and the other which applies SAT-based symbolic techniques.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493434$C1C0012A-4BC5-4FBA-A8B9-5B5397859DA7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ef154828838154f55171333cf59109f6242d31f2","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$9997E540-CB30-48FC-AEAD-910B0120F0C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$51008441-5DC2-4F59-A77B-D439F665DF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$D6C73E37-1F32-416E-A867-E6379FA8361B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$46309339-806A-49A3-90DE-B37CB7CEC6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$90D2C1EC-9131-42DB-AF99-77F12CE0965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$169349DE-9309-4F8F-AD63-CE9FAB75EC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$3BB37C61-9DE8-4574-8AAD-3ADC18F9C44E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d92a45b0c032a36a1a8df35d99e0792e141e6b06","datavalue":{"value":"5031700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$5864F2F4-8BC5-4B7C-A74C-6B8FB7C812BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493434$48938973-0AB3-4961-A0C3-CE8B1CBDA89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493434$876C67CB-B681-446A-99A7-C1E0C4DCAA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a541b38df20b26024f3e8ac78f659c48e09a1cf","datavalue":{"value":"time Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493434$3B5B7DAE-52C5-4865-9ED2-AAC18446ED88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493434$FB6E4E57-2D65-4817-808C-4774ABD7514F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$E1A348F9-F904-474A-894D-BE65E0BF1C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$7C293574-B0A5-40F3-8E89-9E4A1756231F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f19c6afe93f9c0525f95308556e599d9a0e1c190","datavalue":{"value":{"entity-type":"item","numeric-id":24315,"id":"Q24315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$4200D497-27ED-4A51-955E-E9FBD739A7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$37952667-E925-4908-915C-5F4D383C8973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$30C74EDA-35BC-4D50-9FFD-8EDAD96AEDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$F71A0133-8B44-4F70-BB09-E82F003CF273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a987d68805e598217b64498a861f88f6be67a629","datavalue":{"value":{"entity-type":"item","numeric-id":14001,"id":"Q14001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$84200FE1-025A-432A-96E3-EEE7617471D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32f6b67f636d3b4ff87f78d227dd0cfe2d2c4d39","datavalue":{"value":{"entity-type":"item","numeric-id":14500,"id":"Q14500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$049F8AD6-BF82-41A4-873F-829E1284A9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493434$F75C753E-9E19-4395-8DAC-CFE4304EBDB6","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":"Q2493434$88B67D58-AD1E-46B1-AFBF-AC73A0985DD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9bd689046b3d5b1d4df74838b0a1aad4d04c1159","datavalue":{"value":"https://doi.org/10.1007/978-3-540-32870-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2493434$84A696FE-8B32-4598-AE79-D972EFFEF4C2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2783e83755ba71601c317406a51ad835a798acb","datavalue":{"value":"W2499902956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493434$55CFA7B7-5CD7-432B-BF38-591CCE7A9C2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5a6772dd4ed6a93faf5dea75aebe1f3d266561","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"facb6758dc8ac2c75380091f9dec27d070620d4f","datavalue":{"value":{"amount":"+0.8876610398292542","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":"Q2493434$CF38883E-1866-4531-B350-F55525FE40A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3bffa92a03d4b169ce6eebd87f95b9efa1ef873","datavalue":{"value":{"entity-type":"item","numeric-id":2848419,"id":"Q2848419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7705c571bc6ecdc3e49efb384ad5b082c339375e","datavalue":{"value":{"amount":"+0.8286725878715515","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":"Q2493434$E88D492F-8747-4093-B8F4-E84139068593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b637eb862f4f9dbac9ed947fd49bd1e0523530","datavalue":{"value":{"entity-type":"item","numeric-id":5758109,"id":"Q5758109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafdcaeebddafd30cfa4068ba54e0d6fe4c28965","datavalue":{"value":{"amount":"+0.8266164660453796","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":"Q2493434$740C5037-6089-47F3-B27F-5743FF93162A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d95e2d136614c222945dd2c70bded8b39d16ec","datavalue":{"value":{"amount":"+0.8019155859947205","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":"Q2493434$69DF089B-7922-4549-B1F2-39C6EC23DEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a411a1a424f6fd7e9c712f1070047e5d0f6380e0","datavalue":{"value":{"amount":"+0.8002234101295471","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":"Q2493434$4BF72DBA-943A-4892-9100-FBE8AE807D05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2493434","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2493434"}}}}}