{"entities":{"Q645045":{"pageid":646893,"ns":120,"title":"Item:Q645045","lastrevid":42622200,"modified":"2025-07-04T17:36:09Z","type":"item","id":"Q645045","labels":{"en":{"language":"en","value":"On the composition of time Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5969017"}},"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":"Q645045$CED92158-EB58-4355-8691-9E6326F90256","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11ac1ba7862f4b6449797720b52a7a7a78d3f3d5","datavalue":{"value":{"text":"On the composition of time Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q645045$12D9D464-3AE4-4B25-928F-3C496A74BFFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d79cdda7486b062bb27b8049d2f7ba7ab342dd6","datavalue":{"value":"1238.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$F57685A3-BD2E-493D-B287-5769EFCCD668","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05946d0b80bc5c5d10aac23ff3a3017c66f0c31c","datavalue":{"value":{"entity-type":"item","numeric-id":645042,"id":"Q645042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$7164B989-AC04-4A08-AE15-A0E81C130897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdedec70f2cb7d9472908a9952597b5373f871f","datavalue":{"value":{"entity-type":"item","numeric-id":645043,"id":"Q645043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$39D8338B-C11E-43F8-8C32-CFD18F4D04AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ce8993a2ba9b46fa3b3cc6eac3dbff128f14d7","datavalue":{"value":{"entity-type":"item","numeric-id":645044,"id":"Q645044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$C68E8406-9ADA-4B40-B6BD-A09EBA8D2B19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$89CCCC89-2B86-4554-8833-BBE455DAD787","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97a2a7f718152fb114133f4e0547b811f82bed7b","datavalue":{"value":{"time":"+2011-11-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q645045$4A169579-A5DE-4F77-8AE6-4E4585D0BF7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3d294511b9caa8f8c44d894a4e293a22d4aeecb7","datavalue":{"value":"The design and verification of concurrent and distributed systems, especially when their dynamic behaviour is time-dependent, is an intrinsically hard problem. One of conceptually elegant and efficient ways of dealing with this problem is to use a modular, or compositional, construction of such systems. Moreover, one also requires that the behaviour of a composite system can be derived from the behaviours of its components. Petri nets are a fundamental model of concurrent and distributed systems, and time Petri nets (TPN) allow one to express timing constrains of potential activities providing an adequate modelling framework for real time systems. In general, Petri nets support a compositional approach thanks to parallel composition and transition synchronisation. However, in presence of time, the method for assembling components based on transition synchronisation is not always compositional. Motivated by this observation, the paper addresses the following specific question: how to construct a concurrent system in a compositional manner from components specified by TPNs? This, in turn, leads to another question: given a TPN component, how can one transform it into an equivalent model where synchronised transitions are not time-dependent? The solution proposed in this paper is based on a new class of TPNs called forbid/allow TPNs (faTPNs). The ``forbid'' relation is similar to the priority relation, whereas the ``allow'' relation is in a way an inverse of priority. The class of faTPNs is then investigated and its general applicability discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$6D72C373-050B-4FB3-AF8E-1014001F45BB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a5279059fc6d20bb27ba5bbae128acca6e980d64","datavalue":{"value":{"entity-type":"item","numeric-id":218985,"id":"Q218985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$82E54BBD-C78D-414F-8F42-5997235D807B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$BD2267C1-3384-4A36-99DD-91D2756D617E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$9C9FE697-F6C3-45AD-956D-E081033EEDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$B840A120-EF35-4DA0-8A0F-B5EC09E67D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$0B3062D6-8E0A-4562-8AC1-BB1AA978872A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$8E073B2F-4ED2-45BC-9AC2-B59196BEF474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$42A5986E-997D-4E0F-B3C8-2C1B9603A135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$267443AE-CBEA-43DA-8A2E-7FA2EFF62CB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2460eaf6c765949663a5239121cafc848d07a507","datavalue":{"value":"5969017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$EA25E052-0E0F-4325-B27B-240225696049","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e225ac4aec700ae2c67cab0cb7802b0627e7a3da","datavalue":{"value":"distributed system","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$71018E92-4C35-4999-B243-CB4462DC39FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$E07D0692-9372-49C2-8235-02CD33ED42A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7275789e792f078c3a3f326e4bedbb9d48e49e63","datavalue":{"value":"real time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$1B51011D-BF6A-41AF-84F0-01F8246FD486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$0B44433B-C727-4478-9E31-D5D5C31E3F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$2B58E781-D776-4ED5-AD0C-FF3A0C6AF2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae4c3a12e4653617b588c245143bf49369512892","datavalue":{"value":"time Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$332AE8B6-8851-482B-8F36-FE406DBA07D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7df55256f9cbe9c97835b1602636eaf45d4b838","datavalue":{"value":"model transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q645045$13640386-7057-429C-B595-DE3B2C80A644","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$F4F17FFE-9D34-423E-982D-7F5CAE5BD235","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":"Q645045$B363421F-AB0D-4123-9051-BEBC01CB7A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f6014125f8e5a95d9c8860599896c8866cce5632","datavalue":{"value":"https://doi.org/10.1007/s10626-011-0102-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q645045$22EFE9D2-BDA8-4675-A182-4F5E268EAD91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"557f5baae6d009793e1c784d463ece9c85ad7725","datavalue":{"value":"W2024286707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$1FE6E227-CA3A-4855-B3E1-3A7B40B77ABE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5af1966aa97a071d6c9257027b3435c8d88b98f","datavalue":{"value":{"entity-type":"item","numeric-id":5897964,"id":"Q5897964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$FB488876-183D-4AC6-9178-17165483ECC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd03e4de095dd3953367c465e489c06b39e10f","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$0EBAAC65-20B6-43A4-B8F4-30E4A4C30D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774ef1456680181a495ccddbb48627134ba228b","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$C12B714E-DA14-4B01-8354-105023FAA3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f17523cb2c22f0c224856a6345e776df2be5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3511224,"id":"Q3511224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$9E4C7C90-E9A8-4AA5-88FA-DA6907A8365B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85137db3d8db8bf29455dff54a4af5134a876dd","datavalue":{"value":{"entity-type":"item","numeric-id":3612926,"id":"Q3612926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$C962DEBB-10EF-4B0A-AD04-4956C3E0F2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01b15dadbff8df89ce7e243a669d791fde7e0bc","datavalue":{"value":{"entity-type":"item","numeric-id":3591404,"id":"Q3591404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$B2C19D5F-1474-413D-AF0E-793B472EC335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$17F171E9-1BC0-4363-93E1-AE334EDF9152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30aaac525995ce57aa8b04f5ceb3346e0026fdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5716584,"id":"Q5716584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$5DC2EEAF-E506-485C-8A2F-29B2BFFC59B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$81DDC554-8FA5-4FB0-BC17-305591075D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b128595e2f50d35c99036ebd76df5d5e493730f3","datavalue":{"value":{"entity-type":"item","numeric-id":4593944,"id":"Q4593944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q645045$ACF00864-53C2-4F34-8506-28130A6BBD52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c012cb1280a08e567f68c6ce8be4d98aec060155","datavalue":{"value":"10.1007/S10626-011-0102-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q645045$D9809C48-089D-49B5-9B87-7A8975E128F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b630b5027c087704081bb2499ab2efaed86d2e1","datavalue":{"value":{"entity-type":"item","numeric-id":2766569,"id":"Q2766569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ab625265d2035f17a6c5a1f9a0b8f6e67e9b9d","datavalue":{"value":{"amount":"+0.9656733","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":"Q645045$11747332-AF79-4E06-A44A-DB4F27A4B475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a5fda790e6db4f5c034e53c03ed59792184037","datavalue":{"value":{"entity-type":"item","numeric-id":3474896,"id":"Q3474896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64466d8b8cb83d4b8871e8fe9844ab36959ba657","datavalue":{"value":{"amount":"+0.952924","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":"Q645045$7317964B-FDCB-4188-8C87-F88EF86A0DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"017d4e2685d527f9eb8e04021947486efe77c7c2","datavalue":{"value":{"entity-type":"item","numeric-id":1944773,"id":"Q1944773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38fc06389110d11bd4f42f8a4f03039ed36e6683","datavalue":{"value":{"amount":"+0.92407817","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":"Q645045$4B70D0C0-2F76-49A8-90C8-8C02EB67ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2337158bee7545994899a80d7c8fd425c652a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4220896,"id":"Q4220896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806fe1aaf368aa25be34147d26ace4106b647a8e","datavalue":{"value":{"amount":"+0.9228677","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":"Q645045$9D3A1D4B-CB9D-4775-A1EC-8235B94DC239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f8864131d8a742cd26b72d8ed923edc58721e4b","datavalue":{"value":{"entity-type":"item","numeric-id":2864227,"id":"Q2864227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e397520fbad433c1d60403e1df18cf1285bfc0","datavalue":{"value":{"amount":"+0.9207397","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":"Q645045$748BEB79-C364-4DB3-ABBC-95D6BEE16B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b459dd84b2a01410de9b03f093455840a552f37","datavalue":{"value":{"entity-type":"item","numeric-id":3357558,"id":"Q3357558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cca99f514654184ce7d6c262b32da10254a47c9","datavalue":{"value":{"amount":"+0.9187525","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":"Q645045$A6E35A99-EC92-456E-91B4-1F3E9A003A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3387f8608a84e2bc67f20a2e2557a60aaae3d2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3599214,"id":"Q3599214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ca961ce744d18dedb3b7ac77811ed78f3719b99","datavalue":{"value":{"amount":"+0.91755486","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":"Q645045$44BCFC78-A63D-48C4-AD9E-593E02FB38D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:645045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:645045"}}}}}