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
Event structures for Petri nets with persistence [PDF]
, 2018 Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri.
Baldan, Paolo +5 more
core +4 more sources
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
Start Time and Duration Distribution Estimation in Semi-Structured Processes [PDF]
, 2012 Semi-structured processes are business workflows, where the execution of the workflow is not completely controlled by a workflow engine, i.e., an implementation of a formal workflow model.
Iacob, Maria-Eugenia, Wombacher, Andreas
core +4 more sources
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
Productive process improvement to elaborate cane train baskets, using Coloured Petri nets
Dyna, 2018 La búsqueda de mejoras en los procesos de producción asociadas a variaciones en la flexibilidad y rentabilidad es un tema ampliamente discutido en diversos sectores de la industria.
Jesús Filander Caratar-Chaux +2 more
doaj +1 more source
A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol
CLEI Electronic Journal, 2003 The goal of the Resource Reservation Protocol (RSVP) is to support the provision of the Quality of Service required for emerging Internet applications (such as video conferencing) that require a level of performance not guaranteed by the Internet.
María E. Villapol, Jonathan Billington
doaj +1 more source