Results 21 to 30 of about 315,703 (191)
Functorial Models for Petri Nets [PDF]
, 2001 We show that although the algebraic semantics of place/transition Petri nets under the collective token philosophy can be fully explained in terms of strictly symmetric monoidal categories, the analogous construction under the individual token philosophy
Meseguer, J. +3 more
core +2 more sources
Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform
Труды Института системного программирования РАН, 2018 Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets as tokens. The formalism allows creating comprehensive models of multi-agent systems, simulating, verifying and analyzing them in a formal and rigorous way ...
D. I. Samokhvalov, L. W. Dworzanski
doaj +1 more source
Algebraic Models for Contextual Nets
, 2000 We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual token philosophy uniformly along the two interpretations of net ...
SASSONE V. +5 more
core +2 more sources
Modeling a Heterogeneous Embedded System in Coloured Petri Nets
Journal of Applied Mathematics, 2014 Embedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to master programming paradigms in all related languages.
Huafeng Zhang +3 more
doaj +1 more source
Modeling and Analyzing of Breast Tumor Deterioration Process with Petri Nets and Logistic Regression
Complex System Modeling and Simulation, 2022 It is important to understand the process of cancer cell metastasis and some cancer characteristics that increase disease risk. Because the occurrence of the disease is caused by many factors, and the pathogenesis process is also complicated.
Xuyue Wang +4 more
doaj +1 more source
Scheduling Flexible Manufacturing System with Stacker Crane Using Coloured Petri Nets
Jurnal Teknik Industri, 2019 Scheduling Flexible Manufacturing System (FMS) can increase production speed and accuracy. It because FMS has an ability to process various variety of product at same work station.
Ari Setiawan, Teguh Ersada Natail Sitepu
doaj +1 more source
Input–Output Constrained Colored Petri Nets for Dependable System Controllers
IEEE AccessPetri nets are widely used in the study of dependable systems, as they combine intuitive graphical modeling with a solid mathematical foundation for formal analysis.
Carolina Lagartinho-Oliveira +2 more
doaj +1 more source
Scheduling queues in the Ethernet switch, considering the waiting time of frames
MATEC Web of Conferences, 2016 Authors proposes an algorithm to scheduling queues with temporal selection of frames in the Ethernet switches with QoS support, which is based on the waiting time of frames in the queues of different classes.
Kizilov Evgeniy +4 more
doaj +1 more source
Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets
IEEE Access, 2021 Advanced software and storage technologies have enabled medical facilities to record and store vast amounts of data about cancer patients. There is a strong demand for an accurate and interpretable method to perform cancer prognostic for effective ...
Muhammad Nauman +5 more
doaj +1 more source
Formal Verification of Real-Time System Requirements [PDF]
Computer Science, 2000 The methodology of system requirements verification presented in this paper is a proposition of a practical procedure for reducing some negatives of the specification of requirements.
Marcin Szpyrka
doaj