{"entities":{"Q539486":{"pageid":541253,"ns":120,"title":"Item:Q539486","lastrevid":62599755,"modified":"2026-04-11T07:11:32Z","type":"item","id":"Q539486","labels":{"en":{"language":"en","value":"Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900874"}},"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":"Q539486$39FDAD06-A86C-48FD-B598-55801D069C76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cd8a18df7bc06a240be10f8582109a09aa4cbd1","datavalue":{"value":{"text":"Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q539486$69884CD0-BDCE-4417-8714-A17CB2BE4DEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fcf219cc0107be2765d590b20d6566fdc5b4687","datavalue":{"value":"1231.05255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539486$6ED70A10-261D-4117-9B68-23EE7C7ACA18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c872737a12a3057f18bc5c1f1c91dd70d73e336f","datavalue":{"value":{"entity-type":"item","numeric-id":507758,"id":"Q507758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$8A0F7E4D-ECFA-47D4-9B02-3ADAD315E889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80dbf6ab3be34be42132824ddf7fa05bc188f4ec","datavalue":{"value":{"entity-type":"item","numeric-id":497949,"id":"Q497949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$565C8E48-55C9-4C91-A1DE-8AFAACB47070","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":"Q539486$5E710551-D9C8-4D0B-A275-523E3933FFDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"264086f473b3dc72d65a81f91e38722047d0b29f","datavalue":{"value":{"time":"+2011-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q539486$7F16639B-2015-4542-9A46-32DBC310D5A8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df5f11ac5197b60e0d6f9e09284cb25b87f983d2","datavalue":{"value":"The authors consider Petri nets (the TPN model). Their main result is the following: ``Only some timed schedules/clock vectors (one per enabled transition) of the clock/firing domains are relevant to construct reachability graphs for the TPN''. Resulting graphs are smaller then reachability graphs proposed in literature before. The article contains some illustrative examples.","type":"string"},"datatype":"string"},"type":"statement","id":"Q539486$2A77A3C1-F3F2-4179-B831-DD243D1D9519","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539486$69CCC699-EF40-4731-9BB0-7BDE5DA36025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539486$480E0594-B40F-49D1-82C2-68A02B6C7A58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cee5efc04230d2353a7c24a13a14d4e956112d5","datavalue":{"value":"5900874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539486$2CEFF8C6-ED38-407B-9144-85D9CDE99969","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q539486$B4303978-5A17-4C0B-9CB4-00C8FBCF0A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cac9f937825d4b5bfbedab91a89a027a40a44f6","datavalue":{"value":"TPN model","type":"string"},"datatype":"string"},"type":"statement","id":"Q539486$C64E0787-9B41-4685-BB92-D499DF49018A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca95ea7d59bfa2c24f5c3473367f5eb27cd12d1","datavalue":{"value":"reachability graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q539486$CC6EE08F-8B1F-4A5A-8CEC-BBABA6CEFB56","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":"Q539486$6402B495-3764-4DEA-95AB-B8D7566FAB81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5679c65d92e7bc209601ac53a65445ce5e3013a9","datavalue":{"value":"https://doi.org/10.1007/s10626-011-0100-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q539486$B4C20387-85C1-4C12-BD49-008429DD5BDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a214a0bcc9e969b401e7c23fb44ae5d5ec4e375","datavalue":{"value":"W1969752454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539486$4B097BF0-5A5F-4629-9705-5572F53DCE85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0d2cbf9710287465f8b22d3ec3a32169f3ed30","datavalue":{"value":{"entity-type":"item","numeric-id":3510821,"id":"Q3510821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$78D5318A-70FB-45DA-B085-1A6BC293BEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd03e4de095dd3953367c465e489c06b39e10f","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$03DE89B0-6EDD-4B0A-9358-B9361E02AEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85a274a4d432c4ccba8553ce0df48b7b99a5c8e","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$ACE2B7A8-944A-432A-AA28-6980A49FF5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd48fb2430c7204c1a0b40969d8fa6b3a973ff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3602751,"id":"Q3602751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$629A5016-940D-4D5E-A3E1-0D97212489A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa38fcf2eabf9e45b572a847fc2bc9d7405e3c66","datavalue":{"value":{"entity-type":"item","numeric-id":2368992,"id":"Q2368992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$B10AF052-6FD8-41CC-A38E-348CACF4BA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2651b38c430bf315a03a74ba0b66cf4d7861db6","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$DD43132E-33A2-4C2B-AF5A-8F588599AF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76cd55a0a621a91681c0232c2df13addcba0191c","datavalue":{"value":{"entity-type":"item","numeric-id":732013,"id":"Q732013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$E265273F-5DE9-4ACC-93A6-B196358F6762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ce86d826b24ad37e422a36f000c266a8f05efe","datavalue":{"value":{"entity-type":"item","numeric-id":5712359,"id":"Q5712359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$0122444F-831D-4611-B7DF-2D8D6609FB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19555674dc40f877c0a7243cbce21bdabf52e7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4264237,"id":"Q4264237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q539486$BFB73401-06EC-48AE-AEC4-7D7ACCBDD806","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ae2c77a42a03423af299af721fb89954018dacd","datavalue":{"value":"10.1007/S10626-011-0100-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q539486$0D9C8D33-D3F4-494C-A3CC-11020E4086DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1debb5ffccfda81929a6e97dfb5d56cf6d0498b","datavalue":{"value":{"entity-type":"item","numeric-id":3543303,"id":"Q3543303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99520f3a87f1572e82f60323bc9f05143fcb9f4","datavalue":{"value":{"amount":"+0.9448018074035645","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":"Q539486$F87BFD1C-EC13-479F-9A12-45C0CE518894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d4a1cac1d38d067f829ce99755b8b85e55c1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5168522,"id":"Q5168522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246c92f6b5583e15cbba474584ff5bc399208809","datavalue":{"value":{"amount":"+0.8310393691062927","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":"Q539486$FC6F0C80-DFE2-411D-87E7-AEC3F5A7EA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b459dd84b2a01410de9b03f093455840a552f37","datavalue":{"value":{"entity-type":"item","numeric-id":3357558,"id":"Q3357558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb3114f8bb799f6c6712f299fa328cde4d320071","datavalue":{"value":{"amount":"+0.8250841498374939","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":"Q539486$85B50EF1-EE64-4B72-AEAA-1687FC0EAB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57723a57989b938cc532e077aa710d048e173371","datavalue":{"value":{"amount":"+0.8089172840118408","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":"Q539486$785165A2-0C71-4C7C-81A1-FBA7E6181632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef99546490c361227c4f3c7bf8bf24a885b7be4","datavalue":{"value":{"entity-type":"item","numeric-id":3599107,"id":"Q3599107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77d23ee348d1d4592fac286b8227f1f552651a9","datavalue":{"value":{"amount":"+0.8046442270278931","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":"Q539486$6B63803B-F528-40C8-A465-C3340FFAE99A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relevant timed schedules/clock vectors for constructing time Petri net reachability graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relevant_timed_schedules/clock_vectors_for_constructing_time_Petri_net_reachability_graphs"}}}}}