{"entities":{"Q1190485":{"pageid":1201234,"ns":120,"title":"Item:Q1190485","lastrevid":66517803,"modified":"2026-04-12T10:36:58Z","type":"item","id":"Q1190485","labels":{"en":{"language":"en","value":"Elementary transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55542"}},"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":"Q1190485$ED981B3D-8E91-4DF0-A071-6FF8A7EA0B68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f40821b05dfa37ec0d7f55fa51c94b7c518ddc83","datavalue":{"value":{"text":"Elementary transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1190485$92322B0A-36CF-411B-A672-35093BDA8B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"00b4cbc35adae5ff95996ff03a8a5d7d85d0145d","datavalue":{"value":"0759.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190485$40F77BE3-18D2-4F04-AFE1-0DEADE1E5500","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc9eb70f4c99262eb3425a4bb858a1e0ebd6f411","datavalue":{"value":"10.1016/0304-3975(92)90180-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190485$3B70DF14-0C6F-4F58-8081-C7A1DDF2111A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$41DE3FEF-3BF9-4D37-A7D9-BA395E937CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a56363933ab1b2b882d7fd10c13d60bce6295ff","datavalue":{"value":{"entity-type":"item","numeric-id":418795,"id":"Q418795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$58F72278-0CA7-4C33-B808-F8F94B015F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$3D615D2F-F6BE-4695-841C-61829DB3B6B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$8CAA9B73-79AB-4EE1-A64A-91DDB3C6B804","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1190485$5F4B5FC7-2754-4AE3-BA1B-E8AB95FFC98D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7a97ae7e4c72681ad2603b584be6b1de3f06dfe4","datavalue":{"value":"The relation between elementary net systems [\\textit{M. Nielsen}, \\textit{G. Rozenberg} and \\textit{P. S. Thiagarajan}, Behavioural notion for elementary net systems, Distributed Computing 4, 45-57 (1990); \\textit{P. S. Thiagarajan}, Lect. Notes Comput. Sci. 254, 26-59 (1986; Zbl 0636.68063); \\textit{G. Rozenberg}, Lect. Notes Comput. Sci. 254, 60-94 (1986; Zbl 0636.68064)] and transition systems is studied through the notion of elementary transition systems, denoting a subclass of the class of all transition systems. It is shown, how behaviour preserving transformations between elementary net systems correspond to those between elementary transition systems. With the help of category theory net morphisms and various other morphisms between transition systems are studied. This work is a good companion to [loc. cit.] and other related works.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1190485$0222881A-03DA-4EF6-B883-E06036FA1FBC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"01911e6b71b77cd21ac4dc12ab2dcdf94ba3b6f8","datavalue":{"value":{"entity-type":"item","numeric-id":795512,"id":"Q795512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$BD29427A-058B-4896-B679-ABE5FCDCE897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190485$3C0F8C3D-476C-43B7-B3C9-4359D0292B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190485$B5A3D8CA-B1BE-454F-9C8C-6E9195DBE59B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98810cca75910dad7588cc9e847373e6b7641d1f","datavalue":{"value":"55542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190485$91908C08-7DA1-430B-B186-702DC456C238","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":"Q1190485$DA5D8871-BF34-4816-A71F-ACB4524E06F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$7954F961-B0B6-47B8-98AD-A367ED54E57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$BC2333A8-8938-4A97-8C0E-F50B760182BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$9299D4AA-9974-4380-80EA-050E10A8F4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$11952D1E-9C3D-4C04-980B-D23FD7B34885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$6E792322-AD98-48EF-903A-45EE02327549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$AFA2F5EF-C88B-4909-BF4E-7E6D2F8A04AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81ffa70391ff476bf17acb7ce962de337a7df8a","datavalue":{"value":{"entity-type":"item","numeric-id":1606790,"id":"Q1606790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$E64356C1-BE84-4D00-9C22-18235D1378CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e52daf70af4c266373084f61357b8fc7f49d95","datavalue":{"value":{"entity-type":"item","numeric-id":3774955,"id":"Q3774955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$46494565-151B-4351-9630-60B7E7D7098E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6078f809975146800864caa04a9a0cbf59fb4d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3776636,"id":"Q3776636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$5C068926-39D0-4163-8B3B-D2E75740CE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb71253f8196477b0453f2fa6bc4b2fde8bb481c","datavalue":{"value":{"entity-type":"item","numeric-id":3776635,"id":"Q3776635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$0E3D08F7-821D-466E-BB97-8C67A92AE6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5e7e42f0d59f3b7c473c361351331160cd12546","datavalue":{"value":{"entity-type":"item","numeric-id":1348524,"id":"Q1348524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$91F7E523-A754-4A8D-8EF8-758B2050636F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1190485$09F0C45C-E760-4880-9136-FC2AB227A577","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"482e2ebfd70c0e79169d5be4a79bcbbf644958f7","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90180-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q1190485$B2243E1F-733D-4022-AE34-B37FB78EF153","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04dbf910042a3a75e01c2e1071acb642993ceb88","datavalue":{"value":"W2032838513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1190485$BCFFE052-FF66-4BCB-8A76-29970297608E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec42a1a97df2ba2898bfdaa5234f25855bd2c8e","datavalue":{"value":{"entity-type":"item","numeric-id":1323371,"id":"Q1323371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6717f8f7b019ecd91411ec358a6bcf1af43544c","datavalue":{"value":{"amount":"+0.8635144829750061","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":"Q1190485$3F1F2A38-BDD2-4E8F-9781-690EC6974EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e74e3dbb9faf2e10ac13da6e8b1d8af72e089c67","datavalue":{"value":{"entity-type":"item","numeric-id":1346631,"id":"Q1346631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a11505189f21d14f45a327fcb37616f3f6c4653","datavalue":{"value":{"amount":"+0.8203980922698975","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":"Q1190485$AAA74D34-EEA5-41D7-9364-7E76A5BCAEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e1dbff3ae770fc986874c70b788b0d7829ef30","datavalue":{"value":{"entity-type":"item","numeric-id":4032923,"id":"Q4032923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d9417c0d25f73dd8ec3e9c285df2376aeae315","datavalue":{"value":{"amount":"+0.814618706703186","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":"Q1190485$F9152627-6ECF-45FF-9DB0-DAB5C3061E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c67875a0421817f3cffe34004062549a5f5b2134","datavalue":{"value":{"entity-type":"item","numeric-id":1892885,"id":"Q1892885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"042337d135be427fd8a6b0c03f157236d83621cc","datavalue":{"value":{"amount":"+0.8103428483009338","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":"Q1190485$27E7D7C7-158C-42BE-8AEC-75C6421410AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cac1e774ff74dd3984fc2ef29bbe71dbadb54ab","datavalue":{"value":{"entity-type":"item","numeric-id":2163769,"id":"Q2163769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e0c0084b2b959ac8ae94803af404947dec9fd4","datavalue":{"value":{"amount":"+0.8101978898048401","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":"Q1190485$AA28A703-32EA-47FF-AE5F-F3CD33B22463","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elementary transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Elementary_transition_systems"}}}}}