{"entities":{"Q5952661":{"pageid":8129463,"ns":120,"title":"Item:Q5952661","lastrevid":102109535,"modified":"2026-06-06T03:30:08Z","type":"item","id":"Q5952661","labels":{"en":{"language":"en","value":"Unifying Petri nets. Advances in Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1692746"}},"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":"Q5952661$6E0F015A-96DA-4EED-896F-451A462B4BCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4df8f387c92a22331bd264c19398efa3c251a92","datavalue":{"value":{"text":"Unifying Petri nets. Advances in Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952661$DA667476-F4D7-4759-88A6-B8394D8EB479","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"922f9b4acb3c3d60267231884117c2399ee00c57","datavalue":{"value":"0978.00023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952661$07762D46-0166-432F-B18F-E84B0270356F","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":"Q5952661$B5A407B0-DC38-4039-B73E-E67FAE280C55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da1e102b79cffd268b6f68feaae2005a6fba4d8e","datavalue":{"value":{"time":"+2002-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952661$7736FC2E-385D-4AF1-AB9B-1896FE9407DC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"edb97720a1e87f086cc36e9666e3d38ff781968d","datavalue":{"value":"The articles of mathematical interest will be reviewed individually.  Indexed articles:  \\textit{Desel, J\u00f6rg; Juh\u00e1s, Gabriel}, ``What is a Petri net?'' Informal answers for the informed reader, 1-25 [Zbl 1018.68506]  \\textit{Gajewsky, Meike; Ehrig, Hartmut}, The ``Petri Net Baukasten'': An overview, 26-53 [Zbl 1018.68508]  \\textit{Weber, Herbert; Lembke, Sabine; Borusan, Alexander}, Improving the usability of Petri nets with the ``Petri Net Baukasten'', 54-78 [Zbl 1018.68510]  \\textit{Ermel, Claudia; Weber, Michael}, Implementation of parameterized net classes with the Petri net kernel of the ``Petri Net Baukasten'', 79-102 [Zbl 1018.68507]  \\textit{Gruhn, Volker; Wellen, Ursula}, Process landscaping: Modelling distributed processes and proving properties of distributed process models, 103-125 [Zbl 1018.68509]  \\textit{Desel, J\u00f6rg; Juh\u00e1s, Gabriel; Lorenz, Robert}, Petri nets over partial algebra, 126-172 [Zbl 1017.68076]  \\textit{Padberg, Julia; Ehrig, Hartmut}, Parameterized net classes: A uniform approach to Petri net classes, 173-229 [Zbl 1017.68078]  \\textit{Padberg, Julia; Ehrig, Hartmut; Rozenberg, Grzegorz}, Behavior and realization construction for Petri nets based on free monoid and power set graphs, 230-249 [Zbl 1017.68079]  \\textit{Stehr, Mark-Oliver; Meseguer, Jos\u00e9; \u00d6lveczky, Peter Csaba}, Rewriting logic as a unifying framework for Petri nets, 250-303 [Zbl 1017.68080]  \\textit{Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe}, Generalized automata and their net representations, 304-345 [Zbl 1017.68072]  \\textit{Bednarczyk, Marek A.; Borzyszkowski, Andrzej M.}, On concurrent realization of reactive systems and their morphisms, 346-379 [Zbl 1017.68073]  \\textit{Bruni, Roberto; Montanari, Ugo}, Transactions and zero-safe nets, 380-426 [Zbl 1017.68074]  \\textit{Bruni, Roberto; Sassone, Vladimiro}, Two algebraic process semantics for contextual nets, 427-456 [Zbl 1017.68075]  \\textit{Droste, Manfred; Shortt, R. M.}, Continuous Petri nets and transition systems, 457-484 [Zbl 1017.68077]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952661$C01C87CB-46EE-40DB-B769-99DB0AE46AB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952661$B9146A65-F6A8-4B21-A7DD-271E82FF0F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952661$53C18C4A-12C6-4D33-A71F-97A0598492F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952661$EECB81D5-0E82-4736-A2D5-96B77D75377B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c710b69aee1f503833e15c9e93d5804e3172ff2b","datavalue":{"value":"1692746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952661$5419CD64-EB97-46C5-94FB-68ECE0A8E351","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952661$75CA8586-86DD-4F64-B82B-052DF6BC638A","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":"Q5952661$C1677938-C118-4395-8AB5-0F3533833FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying Petri nets. Advances in Petri nets","badges":[]}}}}}