{"entities":{"Q1868003":{"pageid":1878745,"ns":120,"title":"Item:Q1868003","lastrevid":69534141,"modified":"2026-04-13T07:39:37Z","type":"item","id":"Q1868003","labels":{"en":{"language":"en","value":"Concurrency and hardware design. Advances in Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1900867"}},"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":"Q1868003$1D77B613-4716-4EF4-950A-E1453F4DAE96","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2f74adb8890bc8de2b93f828f6c5462f53b0d84","datavalue":{"value":{"text":"Concurrency and hardware design. Advances in Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868003$39FC071E-CE32-4D85-B3B3-094BFACC078E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"22a3659151f712d1860c9f9cf86503b1665c23ff","datavalue":{"value":"1011.00018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$0C7981E4-258E-4229-8569-5C40F8B34D3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868003$EF00403E-3DF3-4A4D-94B0-B245D28FEB05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868003$CEDFB7A5-B1B4-45B1-852E-CA2831D09607","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e251f751bb5f9bc7110fc60b2992eee6c5e16e12","datavalue":{"value":"http://link.springer.de/link/service/series/0558/tocs/t2549.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868003$A549D2F3-AB65-4E0D-8101-BBAF94F7C96D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"faba234d14912e44911da02178d2227fc115d009","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Benko, Igor; Ebergen, Jo}, Composing snippets, 1-33 [Zbl 1029.68003]  \\textit{Josephs, Mark B.; Furey, Dennis P.}, A programming approach to the design of asynchronous logic blocks, 34-60 [Zbl 1029.68506]  \\textit{Varshavsky, Victor; Marakhovsky, Vyacheslav}, GALA (globally asynchronous -- locally arbitrary) design, 61-107 [Zbl 1029.68508]  \\textit{Carmona, Josep; Cortadella, Jordi; Pastor, Enric}, Synthesis of reactive systems: Application to asynchronous circuit design, 108-151 [Zbl 1029.68505]  \\textit{Vogler, Walter; Wollowski, Ralf}, Decomposition in asynchronous circuit design, 152-190 [Zbl 1029.68006]  \\textit{LaRue, William; Solden, Sherry; Bhattacharya, Bishnupriya}, Functional and performance modeling of concurrency in VCC, 191-227 [Zbl 1029.68507]  \\textit{Balarin, Felice; Lavagno, Luciano; Passerone, Claudio; Sangiovanni-Vincentelli, Alberto; Sgroi, Marco; Watanabe, Yosinori}, Modeling and designing heterogeneous systems, 228-273 [Zbl 1029.68503]  \\textit{M\u00f8ller, Jesper; Hulgaard, Henrik; Andersen, Henrik Reif}, Timed verification of asynchronous circuits, 274-312 [Zbl 1029.68005]  \\textit{Beerel, Peter A.; Xie, Aiguo}, Performance analysis of asynchronous circuits using Markov chains, 313-343 [Zbl 1029.68504]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868003$D3585D5F-46F3-4CF1-95AC-CBC2BDB0A943","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$30CAFFB0-4039-4304-8C4E-D4D073634C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$EF63C97B-7F00-4BCB-8FB6-3C491EFD4699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$214A2970-3544-4455-995B-278A6C47848F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$9F08ADD2-5BAF-4D7D-8C72-6513A31A0EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$83879CF9-F9D1-4589-8B60-ED439F6B75F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb7b7fdf2166be90e7258429f276d5b0799ab04a","datavalue":{"value":"1900867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$754565D8-E1C7-4E06-AD83-072A1852392D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b6b67349179ff1d60ce1b5b64f2423a8f1a237","datavalue":{"value":"Concurrency design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868003$AE1CA95C-1B52-4300-AD9A-E38B899ED05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3457552c8d8240e9757186e049802a19ed160b64","datavalue":{"value":"Hardware design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868003$A103DD4E-B1C8-429F-B0DD-56667A3F6DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868003$16AEFA20-548D-48DB-99C6-EE5DBBB6AB5B","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":"Q1868003$CCE0B685-EDED-4D4C-A44C-71ACDBA31A8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc1c4a1a5e3b13bca751b166fc02d11bd1ed6d65","datavalue":{"value":"10.1007/3-540-36190-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$118E3FAC-EA54-4747-9B7B-9C004C31491E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25b66ff37357da7f0d1289764ca65d281e9d3981","datavalue":{"value":"W2482142971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$CB2B1BFD-0FEE-4B5C-ACA0-81AC5F69A4A5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"27d6dc066ad8d9a9d4fd6485424c59c2cee2d319","datavalue":{"value":"Q56892717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868003$73BBDA07-A635-4D90-8D6D-E6D8E940E0BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a479621011865ee4cf68a32ff3b32044da9998e","datavalue":{"value":{"entity-type":"item","numeric-id":3762243,"id":"Q3762243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ecf9ab40d67b073e90039a04605f2a067967d5","datavalue":{"value":{"amount":"+0.9417788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$4B238A36-0A30-4CB7-B21C-E2C8B0609069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac57cfec3bee610fcdc8d1efd8b712a4078b472","datavalue":{"value":{"entity-type":"item","numeric-id":2766547,"id":"Q2766547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99666f6ad7d3c6ea82673a8299cbc9ec3f7d1aa3","datavalue":{"value":{"amount":"+0.91130334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$0A13B030-9496-4143-BB09-B0289018A7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8193e05fdd28b98d7e3f2ebca500b29d20bb33b7","datavalue":{"value":{"entity-type":"item","numeric-id":4942938,"id":"Q4942938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b872d1f39d4a0cc97ad7c77456e64910f14642","datavalue":{"value":{"amount":"+0.90975523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$6DCD01DA-D0FF-433A-8A4B-0226F6B59F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b82dc4f198e63e592f0d15bcaad9d64d5d6b314","datavalue":{"value":{"entity-type":"item","numeric-id":5712300,"id":"Q5712300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83ed3b94212ac96ba613b94697558a00f48a725","datavalue":{"value":{"amount":"+0.8908069","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$212B20E5-44DE-4E11-BDCB-3915A65BF403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f115bf6c9d93267e5242dcb143b157351dcf1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3602798,"id":"Q3602798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb75b1252f2208e2e7e951f7be2733b6c7d6f728","datavalue":{"value":{"amount":"+0.8902821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$010D7B2D-0F25-4569-87DD-9F06B1F24E60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a404e5f8a34ee337c0ada11d9b33383711e8c5","datavalue":{"value":{"entity-type":"item","numeric-id":4842533,"id":"Q4842533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b452fdb3ced8ba3ced98b1d90be6d23d13499c40","datavalue":{"value":{"amount":"+0.88921046","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$0740BC2D-B622-446C-9DCB-F363CFA725D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65821b1b80377f23f221b64bf0eadb0c37ca734","datavalue":{"value":{"entity-type":"item","numeric-id":704167,"id":"Q704167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3beca693b8d40fc58bdca683906d19f20da39e08","datavalue":{"value":{"amount":"+0.8886986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$82F74BCC-0C5E-49FA-90DA-C69A9FD47E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02a690733f401771e9b107715d7982ef93d85889","datavalue":{"value":{"entity-type":"item","numeric-id":4247292,"id":"Q4247292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5d363f0802860bb53eb87d96cc4493465b4ba43","datavalue":{"value":{"amount":"+0.8883379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$E98F81DA-4978-4846-AEDE-B78D10D4E271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105a61a12de24a7e440a6cf64ac74be59ad42a74","datavalue":{"value":{"entity-type":"item","numeric-id":3347286,"id":"Q3347286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4c6a6e98e7e2420dd7774869d28805f0bc8705c","datavalue":{"value":{"amount":"+0.88603574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$214AB561-FC98-4AFA-B93A-B20E3DB828C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a55dd2b3c8e780b6cd960276831fbe3c7cd313c","datavalue":{"value":{"entity-type":"item","numeric-id":4002015,"id":"Q4002015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"628f9e326445cc52c465749275f17aa913ea2963","datavalue":{"value":{"amount":"+0.8859164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1868003$B73D6A1B-059A-4EFB-9BF3-62BEAF315E26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrency and hardware design. Advances in Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrency_and_hardware_design._Advances_in_Petri_nets"}}}}}