{"entities":{"Q1187659":{"pageid":1198408,"ns":120,"title":"Item:Q1187659","lastrevid":66331320,"modified":"2026-04-12T09:22:04Z","type":"item","id":"Q1187659","labels":{"en":{"language":"en","value":"Finite representations of CCS and TCSP programs by automata and Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 43619"}},"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":"Q1187659$D7A415F9-E862-447F-8A7A-12CDEE6647C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cd1414b02847ea443016bf707c1233fe54290ba","datavalue":{"value":{"text":"Finite representations of CCS and TCSP programs by automata and Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187659$9E8BBDAF-D57A-43B1-9F17-FA3574E3A357","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d8c606b28b5382f8ff65d1b296493d4cdd4688e","datavalue":{"value":"0684.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187659$92DCC4D1-445E-4A19-8556-3212337636E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a8c3030df4023386bafe1ba843a2887d4e7eca2","datavalue":{"value":{"entity-type":"item","numeric-id":582132,"id":"Q582132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187659$7C29F582-65D0-4286-8D2C-C35C58A48FBA","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":"Q1187659$4F38326E-A92F-4C3D-9B90-1D0D789D9D61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187659$423DD0C2-1990-4AE4-9B7C-AC6F03146F74","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2b559b9dc1a35b14a574bf5d811445279bcdc97a","datavalue":{"value":"The book provides a bridge between automata-based models (as Petri nets) and algebraic models (as CCS or TCSP) of concurrency phenomenon. It is an important step towards building an unified and universal model.    In Chapter 1 the syntax and interleaving semantics of an abstract programming language is introduced, Chapter 2 proves that the subsets of this language which correspond to CCS and TCSP are Turing powerful. Chapter 3 gives a syntax-driven construction for abstract programs which leads to transition systems. Chapter 4 transfers this construction to safe Petri nets while modelling the concurrency explicitly. The transitions of a petri nets are natural generalizations of the transitions of a transition system. In Chapter 5 a representation of CCS programs (without renaming and restriction) as finite but not necessarily safe Petri nets is discussed. Chapter 6 (the last) gives a syntax-driven construction which leads to predicate/transition nets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187659$A0CCE006-6864-443F-8F10-4BF5964354CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187659$F3F57E27-6FA1-4AB1-BD81-6E5C141A048B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187659$54E88F6E-9978-4284-93B6-327FEFF226BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187659$A148CCEE-DA96-45AA-B934-35996E21CA7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6fdfb5aeb7996c0c71fb013ffccbb65b760968d","datavalue":{"value":"43619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187659$B5754BE8-B9A1-46D9-86A2-C6FFCF5A6E01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187659$99D3BB31-5BA8-4BD3-9147-1B328EC92B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dba8a14c151bd08273c5a04f1ad265d82751a87","datavalue":{"value":"CCS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187659$454BD60B-047B-4815-A31E-9FAE1640E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"257bdc62a0f223e7db6c1dcb9dcc73ac9250fd44","datavalue":{"value":"TCSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187659$210E014B-69CC-4DA0-AC87-4074A6DB39E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187659$BBBED39A-6434-49B7-B285-CFA91EDB378D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187659$2DE30E78-3C83-485C-ADCC-2F4F018292B7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ef154828838154f55171333cf59109f6242d31f2","datavalue":{"value":{"entity-type":"item","numeric-id":169677,"id":"Q169677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187659$23DFC201-EE00-4320-930C-FE21B236971C","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":"Q1187659$103D0760-EDF6-4AA7-9E67-BB15C545F210","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e51501e62123a0067007c2fa613788d700436d55","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d539d97b698613561e675c8bcae19e18da59af8d","datavalue":{"value":{"amount":"+0.8448184728622437","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187659$0431CE8E-3159-4C8D-9EFC-9BBA56C863FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b21c1fbc313b90713a10015927061a510b527e2","datavalue":{"value":{"entity-type":"item","numeric-id":1122360,"id":"Q1122360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae76e0c4633ce3ad0a84063c902c761a07a2f49a","datavalue":{"value":{"amount":"+0.8377832770347595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187659$75E7288A-F586-42F8-8A85-0459FAD8B6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b77d1f89acc8320ca36b009f70426c8acd8c09c4","datavalue":{"value":{"entity-type":"item","numeric-id":3675536,"id":"Q3675536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fd1e219475a158f11827f194dc0f4e22026d97","datavalue":{"value":{"amount":"+0.8133218288421631","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187659$7760F490-07D1-408B-85BA-AB8C7AF21E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5665203833fdb13549a04fd087128ad10a12932","datavalue":{"value":{"entity-type":"item","numeric-id":3460873,"id":"Q3460873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eab5dcd080e9202a6eedb40e6e17eccb1a22db0","datavalue":{"value":{"amount":"+0.7841362357139587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187659$904B564D-00F5-4C46-A97C-19F595050221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b644c9b72b4ad7bd07af66457c6f714a17e99f18","datavalue":{"value":{"entity-type":"item","numeric-id":2760251,"id":"Q2760251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab2f6d3a1bbf0ad9e5b92c7433d8a8eeba72600","datavalue":{"value":{"amount":"+0.7788481712341309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1187659$0D455656-28A6-4FE8-A2B9-8F6AF9242FA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite representations of CCS and TCSP programs by automata and Petri nets","badges":[]}}}}}