{"title":"Petri tinklai","description":"\u003cp\u003e\u003cstrong\u003ePetri tinklai\u003c\/strong\u003e – šioje kategorijoje rasite 14 knygų. Nuo pripažintos klasikos iki naujausių leidimų. Užsakykite internetu, pristatome visoje Lietuvoje.\u003c\/p\u003e","products":[{"product_id":"verification-of-systems-and-circuits-using-lotos-petri-nets-and-ccs-john-wiley-sons-inc-9780471704492-michael-yoeli","title":"Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS","description":"\u003cp\u003eDiscover the essential guide for modern digital systems with \"Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS\" by Michael Yoeli, published by John Wiley \u0026amp; Sons Inc. In this comprehensive 248-page hardback, you'll find a step-by-step interactive introduction to the formal verification of systems and circuits, a crucial methodology in the face of today's complex parallel digital architectures. This book emphasizes the need for a formal approach to analysis and verification, equipping readers with knowledge of two robust analysis tool sets: LOTOS-based CADP and Petri-Net based PETRIFY. Ideal for students and professionals in computer engineering and software verification, this text serves as both a valuable resource and a practical guide to ensure the reliability of integrated circuits. Elevate your understanding of software engineering and circuit validation with this indispensable resource.\u003c\/p\u003e","brand":"Michael Yoeli","offers":[{"title":"Default Title","offer_id":52224762446166,"sku":"9780471704492","price":142.8,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780471704492.jpg?v=1767738175"},{"product_id":"using-petri-nets-to-model-the-chemical-stages-of-the-radiobiological-mechanism-nova-science-publishers-inc-9781536128963-jiri-barilla","title":"Using Petri Nets to Model the Chemical Stages of the Radiobiological Mechanism","description":"\u003cp\u003e\u003cstrong\u003eUsing Petri Nets to Model the Chemical Stages of the Radiobiological Mechanism\u003c\/strong\u003e by Jiri Barilla, Milos V. Lokajicek, Hana Pisakova, Pavel Simr.\u003c\/p\u003e\n\u003cp\u003ePublished by Nova Science Publishers, Incorporated, (2018), Paperback, 119 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Radiobiology, Petri nets.\u003c\/p\u003e","brand":"Jiri Barilla","offers":[{"title":"Default Title","offer_id":52225064894806,"sku":"9781536128963","price":141.64,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781536128963.jpg?v=1767738582"},{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-xiii-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662583807-maciej-koutny","title":"Transactions on Petri Nets and Other Models of Concurrency XIII","description":"\u003cp\u003e\u003cstrong\u003eTransactions on Petri Nets and Other Models of Concurrency XIII\u003c\/strong\u003e by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2018), Paperback, 211 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Petri nets.\u003c\/p\u003e","brand":"Maciej Koutny","offers":[{"title":"Default Title","offer_id":52226223243606,"sku":"9783662583807","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662583807.jpg?v=1767739812"},{"product_id":"transactions-on-petri-nets-and-other-models-of-concurrency-x-springer-verlag-berlin-and-heidelberg-gmbh-co-kg-9783662486498-maciej-koutny","title":"Transactions on Petri Nets and Other Models of Concurrency X","description":"\u003cp\u003e\u003cstrong\u003eTransactions on Petri Nets and Other Models of Concurrency X\u003c\/strong\u003e by Maciej Koutny, Jörg Desel, Serge Haddad.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer, (2015), Paperback, 177 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Petri nets.\u003c\/p\u003e","brand":"Maciej Koutny","offers":[{"title":"Default Title","offer_id":52226223309142,"sku":"9783662486498","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783662486498.jpg?v=1767739813"},{"product_id":"system-modeling-and-control-with-resource-oriented-petri-nets-taylor-francis-ltd-9781138115088-mengchu-zhou","title":"System Modeling and Control with Resource-Oriented Petri Nets","description":"","brand":"MengChu Zhou","offers":[{"title":"Default Title","offer_id":52227188490582,"sku":"9781138115088","price":99.2,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781138115088.jpg?v=1767741295"},{"product_id":"system-modeling-and-control-with-resource-oriented-petri-nets-taylor-francis-inc-9781439808849-mengchu-zhou","title":"System Modeling and Control with Resource-Oriented Petri Nets","description":"\u003cp\u003eProvides various theories and methodologies for implementing cost and time-saving improvements to contemporary manufacturing systems. This text supplies simple and complex industrial manufacturing system examples to illustrate different concepts, theories, and approaches for solving real-life application problems.\u003c\/p\u003e","brand":"MengChu Zhou","offers":[{"title":"Default Title","offer_id":52227286729046,"sku":"9781439808849","price":255.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781439808849.jpg?v=1767741475"},{"product_id":"quantitative-evaluation-of-systems-springer-international-publishing-ag-9783319106953-11th-international-conference-qest-2014-florence-italy-september-8-10-2014-proceedings-gethin-norman","title":"Quantitative Evaluation of Systems","description":"\u003cp\u003eDiscover the cutting-edge research in the field of systems evaluation with \u003cstrong\u003eQuantitative Evaluation of Systems\u003c\/strong\u003e by \u003cstrong\u003eGethin Norman\u003c\/strong\u003e. This comprehensive volume, published by \u003cstrong\u003eSpringer International Publishing AG\u003c\/strong\u003e in 2014, presents the proceedings of the 11th International Conference on Quantitative Evaluation of Systems (QEST 2014), held in the beautiful city of Florence, Italy.\u003c\/p\u003e \n\n\u003cp\u003eFeaturing 24 meticulously reviewed full papers and 5 insightful short papers selected from a competitive pool of 61 submissions, this 422-page paperback offers a rich exploration of models, tools, applications, and theoretical advancements in quantitative evaluation. Whether you're a researcher, practitioner, or student, this book is an essential resource for understanding the latest developments in the field.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your knowledge and stay updated with the innovative methodologies and applications discussed in this significant work. Order your copy of \u003cstrong\u003eQuantitative Evaluation of Systems\u003c\/strong\u003e today!\u003c\/p\u003e","brand":"Gethin Norman","offers":[{"title":"Default Title","offer_id":52231349829974,"sku":"9783319106953","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319106953.jpg?v=1767748094"},{"product_id":"property-preserving-petri-net-process-algebra-in-software-engineering-world-scientific-publishing-co-pte-ltd-9789814324281-hejiao-huang","title":"Property-preserving Petri Net Process Algebra In Software Engineering","description":"\u003cp\u003eDiscover the innovative approach to system design in \"Property-preserving Petri Net Process Algebra In Software Engineering\" by Hejiao Huang. Published by World Scientific Publishing Co Pte Ltd in 2012, this hardback edition spans 320 pages and delves into the complexities of component-based methodologies. Huang addresses one of the key challenges in system design: proving the correctness of created components. This book introduces a robust framework known as Property-Preserving Petri Net Process Algebra (PPPA), which facilitates the creation and verification of design specifications. Ideal for software engineers and researchers alike, this insightful work combines theoretical foundations with practical applications, making it an essential addition to your library. Enhance your understanding of software engineering and elevate your design practices with this comprehensive guide.\u003c\/p\u003e","brand":"Hejiao Huang","offers":[{"title":"Default Title","offer_id":52231588970838,"sku":"9789814324281","price":122.25,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789814324281.jpg?v=1767748508"},{"product_id":"petri-nets-iste-ltd-and-john-wiley-sons-inc-9781848210790-fundamental-models-verification-and-applications","title":"Petri Nets","description":"\u003cp\u003eExplore the intricate world of Petri Nets with this comprehensive hardback edition published by ISTE Ltd and John Wiley \u0026amp; Sons Inc in 2009. Spanning 656 pages, \"Petri Nets\" delves into the mathematical representation of networks, offering a thorough introduction to basic models, including time and stochastic extensions. This book particularly emphasizes place-transition and high-level Petri nets, showcasing their modeling and design capabilities. Through a series of insightful representations, readers will discover their applications in operating and communication systems. Perfect for students, researchers, and professionals alike, this text serves as an essential resource for understanding the complexities of Petri nets and their significance in various fields. Enhance your knowledge and skills in network modeling with this indispensable guide!\u003c\/p\u003e","brand":"Michel (LAAS-CNRS, Toulouse, France) Diaz","offers":[{"title":"Default Title","offer_id":52232735457622,"sku":"9781848210790","price":376.82,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781848210790.jpg?v=1767750520"},{"product_id":"free-choice-petri-nets-cambridge-university-press-9780521019453-jorg-desel","title":"Free Choice Petri Nets","description":"\u003cp\u003eDiscover the fascinating world of concurrent systems with \u003cstrong\u003eFree Choice Petri Nets\u003c\/strong\u003e by \u003cstrong\u003eJorg Desel\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2005. This comprehensive guide spans \u003cstrong\u003e256 pages\u003c\/strong\u003e and offers a clear and structured approach to understanding Petri nets, a powerful formal model for system analysis and modeling.\u003c\/p\u003e\n\n\u003cp\u003eIn this insightful book, every concept is meticulously explained, ensuring readers grasp essential topics such as place invariants, siphons, traps, and other crucial analysis techniques. Whether you are a student, researcher, or professional in the field of computer science, this text serves as an invaluable resource that blends mathematical logic with practical applications.\u003c\/p\u003e\n\n\u003cp\u003eEnhance your knowledge and skills in programming, software development, and parallel processing with \u003cstrong\u003eFree Choice Petri Nets\u003c\/strong\u003e. Dive into this essential reference for anyone interested in the mathematical theory of computation and graphic methods.\u003c\/p\u003e","brand":"Jorg Desel","offers":[{"title":"Default Title","offer_id":52243850461526,"sku":"9780521019453","price":50.71,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521019453.jpg?v=1767767220"},{"product_id":"application-and-theory-of-petri-nets-and-concurrency-springer-international-publishing-ag-9783319390857-37th-international-conference-petri-nets-2016-torun-poland-june-19-24-2016-proceedings-fabrice-kordon","title":"Application and Theory of Petri Nets and Concurrency","description":"\u003cp\u003eDiscover the cutting-edge research and insights presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, held in Torun, Poland, in June 2016. Authored by Fabrice Kordon and published by Springer International Publishing AG, this comprehensive volume spans 345 pages and serves as the first edition of its kind. \u003c\/p\u003e \u003cp\u003eDelve into the intricate world of Petri nets and concurrency, where you'll find a collection of scholarly articles that explore the latest advancements and applications in the field. This book is an essential resource for researchers, practitioners, and students interested in understanding the complexities and theories surrounding Petri nets. \u003c\/p\u003e \u003cp\u003eEnhance your knowledge and stay updated with the latest findings in this dynamic area of study. Order your copy of \u003cstrong\u003eApplication and Theory of Petri Nets and Concurrency\u003c\/strong\u003e today and join the conversation in this pivotal domain.\u003c\/p\u003e","brand":"Fabrice Kordon","offers":[{"title":"Default Title","offer_id":52252097249622,"sku":"9783319390857","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319390857.jpg?v=1767779931"},{"product_id":"application-and-theory-of-petri-nets-and-concurrency-springer-international-publishing-ag-9783319194875-36th-international-conference-petri-nets-2015-brussels-belgium-june-21-26-2015-proceedings-raymond-devillers","title":"Application and Theory of Petri Nets and Concurrency","description":"\u003cp\u003eDiscover the cutting-edge insights in \"Application and Theory of Petri Nets and Concurrency,\" authored by Raymond Devillers and published by Springer International Publishing AG in 2015. This comprehensive volume, spanning 351 pages, showcases the proceedings of the 36th International Conference on Application and Theory of Petri Nets and Concurrency, held in Brussels, Belgium, in June 2015. Inside, you'll find 12 meticulously reviewed regular papers and 2 tool papers, all selected from a competitive pool of 34 submissions. This book is essential for anyone interested in the latest developments in Petri nets and concurrency theory, making it a valuable addition to your academic library. Enhance your understanding of these critical topics with this authoritative resource.\u003c\/p\u003e","brand":"Raymond Devillers","offers":[{"title":"Default Title","offer_id":52252097642838,"sku":"9783319194875","price":55.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319194875.jpg?v=1767779930"},{"product_id":"modeling-simulation-and-control-of-flexible-manufacturing-systems-a-petri-net-approach-world-scientific-publishing-co-pte-ltd-9789810230296-mengchu-zhou","title":"Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach","description":"\u003cp\u003eDiscover the innovative world of flexible manufacturing with \"Modeling, Simulation, And Control Of Flexible Manufacturing Systems: A Petri Net Approach\" by Mengchu Zhou. Published in 1999, this comprehensive text spans 428 pages and serves as an essential resource for anyone involved in the design and implementation of flexible manufacturing systems.\u003c\/p\u003e \n\n\u003cp\u003eThis book introduces a robust set of Petri-net-based tools and methodologies aimed at tackling various challenges in flexible manufacturing. With practical implementation examples throughout, readers will gain valuable insights into computer-aided manufacturing (CAM) and computer modeling and simulation.\u003c\/p\u003e \n\n\u003cp\u003eWhether you're a student, researcher, or industry professional, Zhou's work will equip you with the necessary knowledge to enhance your understanding of manufacturing systems. Dive into the intricate relationship between technology and industrial arts, and elevate your expertise in this dynamic field.\u003c\/p\u003e","brand":"Mengchu Zhou","offers":[{"title":"Default Title","offer_id":52268172050774,"sku":"9789810230296","price":121.04,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9789810230296.jpg?v=1767801165"}],"url":"https:\/\/www.englishbook.fi\/collections\/petri-tinklai.oembed","provider":"Bookshop","version":"1.0","type":"link"}