{"entities":{"Q704610":{"pageid":706459,"ns":120,"title":"Item:Q704610","lastrevid":63751341,"modified":"2026-04-11T15:17:58Z","type":"item","id":"Q704610","labels":{"en":{"language":"en","value":"Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21--25, 2004. Proceedings."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2127349"}},"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":"Q704610$92173FC4-3562-4560-A48A-4CF71BA3801E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a457042fd3dea34479b7f27be89ae1fa8f0583ef","datavalue":{"value":{"text":"Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21--25, 2004. Proceedings.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704610$70095688-9387-40C8-8400-FF28BF52C41A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd870a68d28f0548ac394e49881dce1d357b0230","datavalue":{"value":"1052.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$06C606C1-FDE3-46F6-B3A2-F8E6CB0FF6F1","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":"Q704610$A861BA3A-65E0-4D15-8EFE-38B71F5F5AF3","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":"Q704610$0C9FC3D3-844D-4D7A-80C1-98E6B895E31E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"493ff048e511ddd882a63d5abb85b7b6a2878da9","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 1045.68017)  Indexed articles:  \\textit{Busi, Nadia; Gorrieri, Roberto}, Positive non-interference in elementary and trace nets, 1-16 [Zbl 1094.68058]  \\textit{Ciardo, Gianfranco}, Reachability set generation for Petri nets: Can brute force be smart?, 17-34 [Zbl 1094.68582]  \\textit{Henzinger, Thomas A.}, Embedded software: Better models, better code, 35-36 [Zbl 1094.68541]  \\textit{Penczek, Wojciech; P\u00f3\u0142rola, Agata}, Specification and model checking of temporal properties in time Petri nets and timed automata, 37-76 [Zbl 1094.68067]  \\textit{Pomello, Lucia; Bernardinello, Luca}, Formal tools for modular system development, 77-96 [Zbl 1094.68593]  \\textit{Sanders, William H.}, Stochastic methods for dependability, performability, and security evaluation, 97 [Zbl 1094.68595]  \\textit{Alexander, Adrianna}, Composition of temporal logic specifications, 98-116 [Zbl 1094.68053]  \\textit{Barros, Jo\u00e3o Paulo; Gomes, Lu\u00eds}, On the use of coloured Petri nets for object-oriented design, 117-136 [Zbl 1094.68579]  \\textit{Chaouiya, Claudine; Remy, Elisabeth; Ruet, Paul; Thieffry, Denis}, Qualitative modelling of genetic networks: From logical regulatory graphs to standard Petri nets, 137-156 [Zbl 1094.68581]  \\textit{Desel, J\u00f6rg; Juh\u00e1s, Gabriel; Neumair, Christian}, Finite unfoldings of unbounded Petri nets, 157-176 [Zbl 1094.68061]  \\textit{Franceschinis, Giuliana; Gribaudo, Marco; Iacono, Mauro; Marrone, Stefano; Mazzocca, Nicola; Vittorini, Valeria}, Compositional modeling of complex systems: Contact center scenarios in OsMoSys, 177-196 [Zbl 1094.68583]  \\textit{van Hee, Kees; Sidorova, Natalia; Voorhoeve, Marc}, Generalised soundness of workflow nets is decidable, 197-215 [Zbl 1094.68070]  \\textit{Heiner, Monika; Koch, Ina}, Petri net based model validation in systems biology, 216-237 [Zbl 1094.68584]  \\textit{Juh\u00e1s, Gabriel; Lorenz, Robert; Neumair, Christian}, Synthesis of controlled behavior with modules of signal nets, 238-257 [Zbl 1094.68585]  \\textit{Junttila, Tommi A.}, New canonical representative marking algorithms for place/transition-nets, 258-277 [Zbl 1094.68586]  \\textit{K\u00f6hler, Michael; R\u00f6lke, Heiko}, Properties of object Petri nets, 278-297 [Zbl 1094.68063]  \\textit{Latvala, Timo; M\u00e4kel\u00e4, Marko}, LTL model checking for modular Petri nets, 298-311 [Zbl 1094.68064]  \\textit{Ochma\u0144ski, Edward}, Covering fairness against conspiracies, 312-330 [Zbl 1094.68066]  \\textit{Ojala, Leo; Penttinen, Olli-Matti; Parviainen, Elina}, Modeling and analysis of Margolus quantum cellular automata using net-theoretical methods, 331-350 [Zbl 1094.68570]  \\textit{Polo Mart\u00edn, M. Jos\u00e9; Quintales, Luis A. Miguel; Moreno Garc\u00eda, Mar\u00eda N.}, A framework for the modelling and simulation of distributed transaction processing systems using coloured Petri nets, 351-370 [Zbl 1094.68592]  \\textit{Roux, Olivier H.; Lime, Didier}, Time Petri nets with inhibitor hyperarcs. Formal semantics and state space computation, 371-390 [Zbl 1094.68594]  \\textit{Verbeek, Eric; van der Toorn, Robert}, Transit case study, 391-410 [Zbl 1094.68596]  \\textit{Wimmel, Harro}, Eliminating internal behaviour in Petri nets, 411-425 [Zbl 1094.68068]  \\textit{Wimmel, Harro}, Infinity of intermediate states is decidable for Petri nets, 426-434 [Zbl 1094.68069]  \\textit{Yoo, Dong-Hoon; Lee, Dong-Ik; Lee, Jeong-A}, Operation net system: A formal design representation model for high-level synthesis of asynchronous systems based on transformations, 435-453 [Zbl 1094.68597]  \\textit{van Dongen, Boudewijn F.; van der Aalst, Wil M. P.}, EMiT: A process mining tool, 454-463 [Zbl 1094.68598]  \\textit{Kindler, Ekkart; P\u00e1les, Csaba}, 3D-visualization of Petri net models: Concept and realization, 464-473 [Zbl 1094.68587]  \\textit{Kristensen, Lars M.; Petrucci, Laure}, An approach to distributed state space exploration for coloured Petri nets, 474-483 [Zbl 1094.68588]  \\textit{Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, J\u00f6rn; K\u00f6hler, Michael; Moldt, Daniel; R\u00f6lke, Heiko; Valk, R\u00fcdiger}, An extensible editor and simulation engine for Petri nets: Renew, 484-493 [Zbl 1094.68589]  \\textit{Norta, Alexander}, Web supported enactment of Petri-net based workflows with XRL/flower, 494-503 [Zbl 1094.68590]","type":"string"},"datatype":"string"},"type":"statement","id":"Q704610$C0F1874D-D01B-4B7E-8E2A-778BE3587903","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$80DC97B1-7661-4DC0-9DAC-E0D986BE78D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$78D14B3D-BD27-4032-9887-0C0963ABE7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$02CF79B1-6B28-4AE1-88F5-BD440244C3B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bf33561ee6f5400358a02c189c445fc1097a61b","datavalue":{"value":"2127349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$56666E62-B69A-40AD-8AA6-67B7516D0D65","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":"Q704610$40415236-E6EC-4627-972F-9FE1162E4F8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ac4495140700785afa89a678c90ae2926bddfe3","datavalue":{"value":"https://doi.org/10.1007/b98283","type":"string"},"datatype":"url"},"type":"statement","id":"Q704610$5EE3C2EE-D114-40F6-B243-82BB9E2B67A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f34c8adffd1ae8f5d7ea1531f1e9f0ab0bec9226","datavalue":{"value":"W2495597431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$D81A9AAB-AB49-4B81-9D6E-26DE60927DAA","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"57e167c28570377ef9e96281bbe7e9f8f958ebb9","datavalue":{"value":"conf/apn/2004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$0518D357-078C-4203-8025-B272A78EB0B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18d2401348a25e2bba3a61fa89693cb75d35ba83","datavalue":{"value":"10.1007/B98283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704610$B574BACC-A58C-4406-A71B-C8A4B1E9EFF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applications and theory of Petri nets 2004. 25th international conference, ICATPN 2004, Bologna, Italy, June 21--25, 2004. Proceedings.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Applications_and_theory_of_Petri_nets_2004._25th_international_conference,_ICATPN_2004,_Bologna,_Italy,_June_21--25,_2004._Proceedings."}}}}}