{"entities":{"Q1323313":{"pageid":1334063,"ns":120,"title":"Item:Q1323313","lastrevid":67174701,"modified":"2026-04-12T15:47:37Z","type":"item","id":"Q1323313","labels":{"en":{"language":"en","value":"From ATP to timed graphs and hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567285"}},"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":"Q1323313$C4A7D206-1E19-49FD-A5AF-634484EFA2AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1780f30af236efe79867344fadca25074a4f658d","datavalue":{"value":{"text":"From ATP to timed graphs and hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1323313$119AB6B9-1461-4D1B-B777-4FB376B3D46E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05c96002e430d211fa3e6465194f8fcd078eb737","datavalue":{"value":"0790.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323313$540FFF2B-695E-4D7D-993E-A74729CCDBCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea5125868d733dcb721f5405282906b677bc054a","datavalue":{"value":"10.1007/BF01178579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323313$47F2079F-283B-48AE-BFA1-DFD50A04223B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf1ccc2381d354ec662ed94ad084da7613541b71","datavalue":{"value":{"entity-type":"item","numeric-id":1323312,"id":"Q1323312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$F6D523D2-8F34-45ED-A238-C2B9849F0949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$9115CC4D-9E26-48FA-B8E9-907367B1AD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb56f0c75c4cf32c2f76e3e49feb34da9c9e05a2","datavalue":{"value":{"entity-type":"item","numeric-id":169911,"id":"Q169911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$EA27BD50-A0DF-4FB0-B774-1111C2542CB9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$F49BD839-055C-43EE-9C5D-E493FC9267DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b439a09488bc2e6cdbf4d00c3a7f90f1bcfc4c1","datavalue":{"value":{"time":"+1994-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1323313$01DF1AFA-5089-4210-ACE7-D49CD66C6A04","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4af06162e8d1afbecec6f88b293c239fac5c14aa","datavalue":{"value":"The paper presents results of ongoing work aiming at the unification of some behavioral description formalisms for timed systems. We propose for the algebra of timed processes ATP a very general semantics in terms of a time domain. It is then shown how ATP can be translated into a variant of timed graphs. This result allows the application of existing model- checking techniques to ATP.   Finally, we propose a notion of hybrid systems as a generalization of timed graphs. Such systems can evolve, either by executing a discrete transition, or by performing some ``continuous'' transformation. The formalisms studied admit the same class of models: time deterministic and time continuous, possibly infinitely branching transition systems labeled by actions or durations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$184E1E60-0C87-4940-B7D1-82CFECB11CA7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323313$436DA1F5-23F5-4002-9CD8-7C7FC6716DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323313$FEAAF980-BD8F-4928-BB84-11742DB18183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323313$5A712B2A-F713-49E1-B7C4-59E7D86E8683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b20518b720598802e1406cba6e169d0a41764834","datavalue":{"value":"567285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323313$B1B9B7AF-6F1B-42D4-B499-6237737F973C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$D2252959-7832-4CD7-9024-EEAC40B02DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb695e9b084fff9e97012329b6eb81a2478160ea","datavalue":{"value":"specification of timed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$4D568D2F-11E6-4C33-A954-E3D0C3C1DEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$838D11AD-846E-4A24-939A-5AA95E834CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$14672512-C5BA-45D6-A389-D90F74139948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c416829347b1859ac0080be8a8a2a8ad50385","datavalue":{"value":"algebra of timed processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$43CB144D-0534-43FA-BD84-C38581772D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$80A42C6F-BFCF-4F4C-BE67-5099F179F675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688bac120814557794c98828c6c23838453a526","datavalue":{"value":"timed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$A6C69E92-1368-49B7-9A0D-2934A288E1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d79c6b34149523b5624968a9f0ab4bbfe884b12","datavalue":{"value":"infinitely branching transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323313$AB0873F6-B181-4AA8-8D88-7B5FD4EDF8A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$39C7BF86-4E3C-4017-938D-82F8C7010CC6","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":"Q1323313$A8AE9BAE-EE54-45F3-BABB-558888648F7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3394b77eec107b905563ae3b7de38349fb3b8401","datavalue":{"value":{"entity-type":"item","numeric-id":4036557,"id":"Q4036557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$872BB100-51AC-4701-84EA-D1E08338AD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1b054f3fedabfcc7b28f42f5e01f5ce7cf6b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$F2E90A96-5D8B-4F72-B2DA-22B75267EC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$15A6069C-4B7D-42CF-A37F-97C733BDACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$3D35E728-9588-441A-A028-3293533719FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$635A3329-BCD4-4FE4-9F67-ECC726000781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323313$91354874-F973-43B4-B1CF-A854EFDBADBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f846c8670fad9b10586feeecb6f49a385937afa","datavalue":{"value":"https://doi.org/10.1007/bf01178579","type":"string"},"datatype":"url"},"type":"statement","id":"Q1323313$A3551507-7B30-471E-93C0-542A43258E3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"109269e8c18bf7e63a974b8ff2326ba7ad000dc4","datavalue":{"value":"W2011694130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323313$730EF609-BD98-4957-8549-9789F762406E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55eba52c79c70f4952b7eb5c9f04aee1c310e7e","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de6df3d652f4fbb364986443f8830ca4d2b232d1","datavalue":{"value":{"amount":"+0.8017799854278564","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":"Q1323313$B738B9DA-FB7A-4933-9F0A-B0F9030B10D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7229bff87447c2b4955dd697a0cd30b065d1b05f","datavalue":{"value":{"entity-type":"item","numeric-id":5496927,"id":"Q5496927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"160227a61158ad91714b82ed9172e702429d3231","datavalue":{"value":{"amount":"+0.7401450276374817","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":"Q1323313$9132B2A9-FAA3-42A2-9CBC-D5734BFD751E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46173d0f00b1f1212aed819d3d21c8ae49e7f7cf","datavalue":{"value":{"entity-type":"item","numeric-id":4246822,"id":"Q4246822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cd4961f05b624681dd5066c6de9cf5ca4bd8653","datavalue":{"value":{"amount":"+0.7384670972824097","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":"Q1323313$75DCCE83-93E3-4FF0-9B6F-A8EA603225C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From ATP to timed graphs and hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_ATP_to_timed_graphs_and_hybrid_systems"}}}}}