Petri nets

Ebook "Modeling in systems biology: The petri net approach" aims to meet a challenge that previously has been largely avoided by the Petri net community. The community used to be content with the demonstration that Petri nets were able to simulate quite a large number of partial systems when their homogeneity permitted a rather restricted application of the Petri net methodology. The proof of principle used to say that Petri net models can simulate otherwise established theoretical descriptions.

378p ladongphongthanh1008 22-04-2024 4 2   Download

Petri Net được sử dụng để mô hình hoá, phân tích và mô phỏng các quá trình hóa học và sinh hóa. Bài viết trình bày một số ví dụ mô hình Petri Net các quá trình hóa sinh như các mô hình các đường dẫn trao đổi chất.

14p vispacex 16-11-2023 7 2   Download

Mạng Petri, còn được gọi là mạng địa điểm/chuyển tiếp (PT), là một trong một sổ ngôn ngừ mô hình hóa toán học được phát minh bởi nhà khoa học máy tính người Đức Carl Adam Petri trong luận án tiến sĩ năm 1962 của ông về K Truyền thông mít Automaten. Kể từ đó, Petri Net đã được phát triển và ứng dụng rộng rãi để mô hình hóa, phân tích và tối ưu hóa các hệ thống trong nhiều lĩnh vực như: Công nghệ thông tin, điện tử viễn thông, giao thông vận tải, hóa sinh, y tế, hệ thong sàn xuất, kinh tế...

13p mitmit01 18-05-2023 12 5   Download

Bài viết Petri Net và ứng dụng trong mô hình hóa, phân tích các hệ thống sản xuất trình bày việc cung cấp kiến thức cơ bản về mạng Petri; Các ứng dụng của các loại Petri Net trong các hệ thống sản xuất.

13p vifalcon 16-05-2023 14 4   Download

Tóm tắt Luận án Tiến sĩ Khoa học máy tính "Một cách tiếp cận hình thức trong việc mô hình hóa tham số động cho bài toán kiểm tra tắc nghẽn trên mạng cảm biến không dây" trình bày việc đề xuất mô hình WSN-CPN một mô hình mạng cảm biến không dây bằng ngôn ngữ Coloured Petri Net; Đề xuất mô hình động PDP-WSN-CPNcho phép người dùng tùy chỉnh các thông số trong mạng và phát hiện nghẽn chính xác hơn với xác suất nghẽn; Xây dựng công cụ CODE-WSN thực thi tất cả các mô hình trên.

8p vilucius 03-03-2023 3 2   Download

This paper presents a new model for Petri nets (PNs) which combines PN principles with the foundations of information theory for uncertain knowledge representation. The resulting framework has been named Plausible Petri nets (PPNs).

23p guernsey 28-12-2021 13 0   Download

An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and nally also the whole development process.

24p redemption 20-12-2021 13 0   Download

Multiple Sclerosis (MS) represents nowadays in Europe the leading cause of non-traumatic disabilities in young adults, with more than 700,000 EU cases. Although huge strides have been made over the years, MS etiology remains partially unknown.

20p viwyoming2711 16-12-2020 9 3   Download

Mathematical and computational models showed to be a very important support tool for the comprehension of the immune system response against pathogens. Models and simulations allowed to study the immune system behavior, to test biological hypotheses about diseases and infection dynamics, and to improve and optimize novel and existing drugs and vaccines.

15p vioklahoma2711 19-11-2020 15 2   Download

This paper is the extended version of the paper (Capkovic Intelligent Information and Database Systems. LNAI. Springer, Cham Heidelberg 2014) presented in the ACIIDS 2014 conference.

11p vititan2711 13-08-2019 7 1   Download

Finite-net multi-CCS is a CCS-like calculus which is able to model atomic sequences of actions and, together with parallel composition, also multi-party synchronization. This calculus is equipped with a labeled transition system semantics and also with an unsafe P/T Petri net semantics, which is sound w.r.t. the transition system semantics.

20p vititan2711 13-08-2019 13 3   Download

Từ các mô hình Petri net người thiết kế có thể dễ dàng viết các hàm logic phức tạp trong các chương trình HDL. Bài báo này đề xuất sử dụng mạng Petri thời gian ngẫu nhiên (SPN) và thời gian ngẫu nhiên chung (GSPN) để mô hình hóa và viết các chương trình VHDL để thiết kế các mạch số.

8p thithizone 16-07-2019 49 1   Download

Kỹ thuật đánh giá hiệu năng phần mềm là một trong những giải pháp tốt cho việc xây dựng các hệ thống phần mềm đảm bảo mục tiêu hiệu năng đề ra. Bài viết giới thiệu ngắn gọn các kỹ thuật phân tích hiệu năng phần mềm, đi sâu vào tìm hiểu hai kỹ thuật PCM với công cụ minh họa Palladio Bench và QPN với công cụ minh họa QPME

14p visumika2711 17-07-2019 37 1   Download

Web caching là việc lưu trữ bản sao của những tài liệu web sao cho gần với người dùng; Web caching là ứng dụng ở cấp độ routing và phần lớn băng thông dùng cho web với mục tiêu làm tăng tốc độ đường truyền và tốc độ truy cập web. Các kiến trúc Internet web caching cùng với các chính sách thay thế Web cache là những giải pháp quan trọng và không thể thiếu được trong phát triển Internet nhằm đáp ứng các dịch vụ chất lượng cao.

14p visumika2711 17-07-2019 84 6   Download

This paper introduces a solution for controlling RDF data manipulation operations. We propose a formal approach to manage any modification, query or adaptation of the data to satisfy end-user/application criteria (e.g., RDF filtering).

7p praishy2 27-02-2019 12 1   Download

Chương 3 Bài giảng Hệ thống sản xuất linh hoạt trình bày các công cụ phân tích HTSX bao gồm: Các công cụ kế hoạch hóa; công cụ mô phỏng; sơ đồ mạng lưới Petri net.

45p nguyenvantien1409 10-08-2015 91 11   Download

Trình bày về các công cụ phân tích HTSX, bài giảng Hệ thống sản xuất linh hoạt - Chương 3 sẽ giới thiệu đến người học các kiến thức về các công cụ kế hoạch hóa, công cụ mô phỏng, sơ đồ mạng lưới Petri net. Hy vọng bài giảng sẽ là tài liệu hữu ích cho người học.

45p but_xanh 16-07-2014 83 22   Download

I. Mở đầu. Mô hình hóa là phương pháp xây dựng mô hình toán học của hệ thống bằng cách phân tích hệ thống thành các khối chức năng, trong đó mô hình toán học của các khối chức năng đã biết hoặc có thể rút ra được dựa vào các quy luật hóa lý. Mô hình hệ thống được xây dựng dựa trên cơ sở liên kết các khối chức năng. Trên cơ sở mô hình hóa có thể kiểm tra, đánh giá kết quả xem hệ thống có phù hợp với yêu cầu hay không. Nên mô hình...

10p sea123123 23-06-2013 78 6   Download

Mở đầu. Mô hình hóa là phương pháp xây dựng mô hình toán học của hệ thống bằng cách phân tích hệ thống thành các khối chức năng, trong đó mô hình toán học của các khối chức năng đã biết hoặc có thể rút ra được dựa vào các quy luật hóa lý.

12p nhungmuadauyeu123 21-06-2013 62 4   Download

This issue of the journal reports some selected contributions from the workshops BioConcur 2004 chaired by Anna Ingolfsdottir and Hanne Riis Nielson and BioConcur 2005 chaired by Bud Mishra and Corrado Priami. There are three contributions from BioConcur 2004. The first one is by Calder, Gilmore and Hillston on the modelling of signalling pathways using the stochastic process algebra PEPA. The second contribution is by Kuttler and Niehren on gene regulation in π-calculus.

192p banhkem0908 24-11-2012 38 3   Download