{"entities":{"Q704167":{"pageid":706016,"ns":120,"title":"Item:Q704167","lastrevid":63654855,"modified":"2026-04-11T14:38:22Z","type":"item","id":"Q704167","labels":{"en":{"language":"en","value":"Lectures on concurrency and Petri nets. Advances in Petri nets."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2127079"}},"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":"Q704167$8AC58B4A-2A21-45C8-ABCD-E0661B8AB22E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92178a46d7d3352703fff8cd81a956fc80d6a8c8","datavalue":{"value":{"text":"Lectures on concurrency and Petri nets. Advances in Petri nets.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704167$73ADE718-AFCB-4021-A444-9B3E37266221","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a72e62de71ca8a14e27f5f8208452bb912831c6","datavalue":{"value":"1052.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704167$9BEA6001-ABDF-49BE-80F4-84270DAD6807","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":"Q704167$A7176E5A-7B25-487E-B1E9-EA61DCBF2BAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"915677ea13ebe6cf8033f41f837baa84af2ec8a3","datavalue":{"value":{"time":"+2005-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704167$A4FD0C5C-B8BE-4D55-A26C-83F0037E821E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7ea0135ace5f46bbc1c4e232cfb80e75e4502917","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{van der Aalst, Wil M. P.}, Business process management demystified: A tutorial on models, systems and standards for workflow management, 1-65 [Zbl 1088.68669]  \\textit{Barak, Dan; Harel, David; Marelly, Rami}, InterPlay: Horizontal scale-up and transition to design in scenario-based programming, 66-86 [Zbl 1088.68815]  \\textit{Bengtsson, Johan; Yi, Wang}, Timed automata: Semantics, algorithms and tools, 87-124 [Zbl 1088.68119]  \\textit{Bernardi, Simona; Bobbio, Andrea; Donatelli, Susanna}, Petri nets and dependability, 125-179 [Zbl 1088.68654]  \\textit{Best, Eike; Koutny, Maciej}, Process algebra. A Petri-net-oriented tutorial., 180-209 [Zbl 1088.68655]  \\textit{Billington, Jonathan; Gallasch, Guy Edward; Han, Bing}, A coloured Petri net approach to protocol verification, 210-290 [Zbl 1088.68656]  \\textit{Bruni, Roberto; Melgratti, Hern\u00e1n; Montanari, Ugo}, Extending the zero-safe approach to coloured, reconfigurable and dynamic nets, 291-327 [Zbl 1088.68120]  \\textit{Busi, Nadia; Gorrieri, Roberto}, A survey on non-interference with Petri nets, 328-344 [Zbl 1088.68121]  \\textit{Carmona, Josep; Cortadella, Jordi; Khomenko, Victor; Yakovlev, Alex}, Synthesis of asynchronous hardware from Petri nets, 345-401 [Zbl 1088.68504]  \\textit{Christensen, S\u00f8ren; J\u00f8rgensen, Jens B\u00e6k}, Teaching coloured Petri nets: Examples of courses and lessons learned, 402-412 [Zbl 1088.68658]  \\textit{Darondeau, Philippe}, Unbounded Petri net synthesis, 413-438 [Zbl 1088.68123]  \\textit{Denaro, Giovanni; Pezz\u00e8, Mauro}, Petri nets and software engineering, 439-466 [Zbl 1088.68660]  \\textit{Desel, J\u00f6rg; Milijic, Vesna; Neumair, Christian}, Model validation in controller design, 467-495 [Zbl 1088.93502]  \\textit{Ehrig, Hartmut; Padberg, Julia}, Graph grammars and Petri net transformations, 496-536 [Zbl 1088.68079]  \\textit{Genest, Blaise; Muscholl, Anca; Peled, Doron}, Message sequence charts, 537-558 [Zbl 1088.68124]  \\textit{Heckel, Reiko; Voigt, Hendrik}, Model-based development of executable business processes for web services, 559-584 [Zbl 1088.68541]  \\textit{Juh\u00e1s, Gabriel; Lorenz, Robert; Neumair, Christian}, Modelling and control with modules of signal nets, 585-625 [Zbl 1088.93002]  \\textit{Kristensen, Lars Michael; J\u00f8rgensen, Jens B\u00e6k; Jensen, Kurt}, Application of coloured Petri nets in system development, 626-685 [Zbl 1088.68664]  \\textit{Milner, Robin}, Bigraphs for Petri nets, 686-701 [Zbl 1088.68125]  \\textit{Nielsen, Mogens; Valencia, Frank D.}, Notes on timed concurrent constraint programming, 702-741 [Zbl 1088.68128]  \\textit{Recalde, Laura; Silva, Manuel; Ezpeleta, Joaqu\u00edn; Teruel, Enrique}, Petri nets and manufacturing systems: An examples-driven tour, 742-788 [Zbl 1088.68666]  \\textit{Roychoudhury, Abhik; Thiagarajan, Pazhamaneri Subramaniam}, Communicating transaction processes: An MSC-based model of computation for reactive embedded systems, 789-818 [Zbl 1088.68133]  \\textit{Valk, R\u00fcdiger}, Object Petri nets. Using the nets-within-nets paradigm., 819-848 [Zbl 1088.68135]","type":"string"},"datatype":"string"},"type":"statement","id":"Q704167$20C49709-BDE1-4058-893C-CA88C0DC62AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704167$394A82BB-A72E-477A-A500-8B5B0D778297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704167$7C986396-C60D-4AAD-BF10-40D5716C0888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704167$CEEA2CD6-BAD0-4448-9FDC-C002D6118A43","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c98c77b0b536de5fa0f06fad531f8c0d8a8b231","datavalue":{"value":"2127079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704167$EE47C325-E853-42A4-8401-D79D57B7AC25","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":"Q704167$1D8B8BDF-B26D-4B27-B0D0-382C427EF617","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c92fa83771bb26b81468dbb5ddc2d7cce6a8efb5","datavalue":{"value":"https://doi.org/10.1007/b98282","type":"string"},"datatype":"url"},"type":"statement","id":"Q704167$90739C86-E668-42E5-9761-D63ADF634B3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3925c75be8019b476815484ee77373bb0c5f7957","datavalue":{"value":"W78026558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704167$04887FDB-52AF-4B72-B939-AC7A65B1700C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd224275daa07759286f7e71d8a368d8e9adc201","datavalue":{"value":"10.1007/B98282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704167$E38994E5-5779-423D-AC18-25F1075B6A32","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":"b558f9926b90417a300998943349e3a6211a7323","datavalue":{"value":{"amount":"+0.942518","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":"Q704167$C2FE0A77-2367-4B3D-BB26-69B2B946584B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f661c67334677be3c48bfb6789cb372388f1f208","datavalue":{"value":{"entity-type":"item","numeric-id":1273576,"id":"Q1273576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d88d5dc725063dfee26b4b781787200aecd194f5","datavalue":{"value":{"amount":"+0.9011247","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":"Q704167$E291E057-5420-4D1D-B6C4-7843398A13E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7444c8cf375c2829e152a294dee0d003fe57892","datavalue":{"value":{"entity-type":"item","numeric-id":1868003,"id":"Q1868003"},"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":"Q704167$DCB63CB6-53BD-4B52-9BD7-D2BEA1C47342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271cc4fb04944460391aa740a7a9cacd40669f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5039675,"id":"Q5039675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e24421905b51f31e96f456ef480a91108f0244","datavalue":{"value":{"amount":"+0.88047045","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":"Q704167$D0DF8D79-8654-4626-9B30-12D2A78C210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fdddc79a8c955532f6ceaec2a0c9eb67446eaf0","datavalue":{"value":{"entity-type":"item","numeric-id":4288284,"id":"Q4288284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5404b23870cce8030cb85c72fa0a17e299db1c66","datavalue":{"value":{"amount":"+0.8739604","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":"Q704167$57BE5A44-A717-426B-836F-45C6F69BF713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ac4ddbc676461b305fe51e054e29ba10caafb6","datavalue":{"value":{"entity-type":"item","numeric-id":3427180,"id":"Q3427180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d275dfae5a9c8e5aa5c7272c2a7a21bed75bee","datavalue":{"value":{"amount":"+0.8709533","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":"Q704167$B17A4DC8-25F4-4D76-8324-B36E0668A238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c9b4e00e38c8e4a8cc4b39a15e544f717cf5539","datavalue":{"value":{"entity-type":"item","numeric-id":492154,"id":"Q492154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97317e592e9abf0e1ef77a28a10087f234a720a9","datavalue":{"value":{"amount":"+0.8680423","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":"Q704167$4FEDD072-EFD5-4E51-B8C0-841D11C56160","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":"3633804fa80cc0854b052fc57c09b6dbcc4f8877","datavalue":{"value":{"amount":"+0.86537135","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":"Q704167$3D7AE1C1-5060-4E8E-ABC5-2C55874055CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9352f55a5ca37c21d21c59bcbf844a510a7f12c","datavalue":{"value":{"entity-type":"item","numeric-id":1759061,"id":"Q1759061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299c2414c66be253850341f00935f778a6c199dc","datavalue":{"value":{"amount":"+0.8640659","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":"Q704167$E7714D37-D9FE-47E1-B77B-065BB5499F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5eff2a4e6ce76393cf508b37ef8bb4b68e808c","datavalue":{"value":{"entity-type":"item","numeric-id":5952661,"id":"Q5952661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd85bb7bd262276ca75cade9f7b8be6f4fd0c312","datavalue":{"value":{"amount":"+0.8638334","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":"Q704167$790B4CD7-8A6E-4F79-8572-6F1904B8AF6D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lectures on concurrency and Petri nets. Advances in Petri nets.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lectures_on_concurrency_and_Petri_nets._Advances_in_Petri_nets."}}}}}