{"entities":{"Q7361502":{"pageid":31520045,"ns":120,"title":"Item:Q7361502","lastrevid":105367928,"modified":"2026-10-07T13:37:18Z","type":"item","id":"Q7361502","labels":{"en":{"language":"en","value":"A Formal Model of Extended Finite State Machines"}},"descriptions":{"en":{"language":"en","value":"AFP entry Extended_Finite_State_Machines"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a02cc843cffe3d8a0a72b16dbc5e28ebaeef60a9","datavalue":{"value":"https://isa-afp.org/entries/Extended_Finite_State_Machines.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361502$B5471ABF-EB2F-46D0-9405-9397E0482AD4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57638f14d920d854a643e0db961b43693779e8ae","datavalue":{"value":{"time":"+2020-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361502$BCEF7060-1459-4354-9029-6DAF36595FD7","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"241c1508962b9a2af6e24c8e03caf379f23714cb","datavalue":{"value":"Michael Foster","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361502$D9F7AB30-2C71-4920-B962-8DB1877A9BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"c321b6732f723699ff379c28a4499e7172aa303c","datavalue":{"value":"Achim D. Brucker","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361502$4BE35E71-9604-4D4A-BAE9-306D2BCECF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"bfb9e4256e871670a23ccece90c79ca7c577e787","datavalue":{"value":"Ramsay G. Taylor","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361502$7EC98AEF-D021-4A93-A335-EDD161902294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"d2bc031c1621e811a40b0f1773a3ed2f44cd590e","datavalue":{"value":"John Derrick","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361502$3995BFFD-8579-4A62-9D42-6E3DA4D64AD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ef91a0cd1b5ecd563850da90c5935ebf19f9735","datavalue":{"value":{"text":"A Formal Model of Extended Finite State Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361502$88B7A0D1-4285-4317-BDD8-CCF1CE16D7A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"19642338e410f7afc3c142fce027eac06e01cde6","datavalue":{"value":"In this AFP entry, we provide a formalisation of extended finite state machines (EFSMs) where models are represented as finite sets of transitions between states. EFSMs execute traces to produce observable outputs. We also define various simulation and equality metrics for EFSMs in terms of traces and prove their strengths in relation to each other. Another key contribution is a framework of function definitions such that LTL properties can be phrased over EFSMs. Finally, we provide a simple example case study in the form of a drinks machine.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361502$4C25891B-C148-427A-BFC7-A6B7B06E5CF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca78335e7d64e072ca542079ca2fa130778e237","datavalue":{"value":{"entity-type":"item","numeric-id":4750621,"id":"Q4750621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361502$465F4890-8FC4-4CAF-9BC3-979DDE2185F5","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361502$138AC915-D1C6-43DB-AD47-C2DA636AB028","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c6381c3139ee5dae1881d28867a7925513419337","datavalue":{"value":{"entity-type":"item","numeric-id":7361667,"id":"Q7361667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361502$E2400DB1-B34B-4DA0-8D3B-408B4BA6C841","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361502$F6146B05-F0FA-454D-819D-B65BA2E7BD88","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361502$FD8D006F-25AC-4BF2-905A-EF91D4EFF8BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formal Model of Extended Finite State Machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Formal_Model_of_Extended_Finite_State_Machines"}}}}}