|
|
|
|
|
Sebastiaan J. van Zelst and Sander J. J. Leemans
Since their introduction, process trees have been frequently used as a process modeling formalism in many process mining algorithms. A process tree is a (mathematical) tree-based model of a process, in which internal vertices represent behavioral control...
ver más
|
|
|
|
|
|
|
|
|
|
|
Jamal Khudair Madhloom, Zainab Hammoodi Noori, Sif K. Ebis, Oday A. Hassen and Saad M. Darwish
Due to the Internet?s explosive growth, network security is now a major concern; as a result, tracking network traffic is essential for a variety of uses, including improving system efficiency, fixing bugs in the network, and keeping sensitive data secur...
ver más
|
|
|
|
|
|
|
|
|
|
|
Franti?ek Capkovic
Automated Manufacturing Systems (AMS) consisting of many cooperating devices incorporated into multiple cooperating production lines, sharing common resources, represent industrial Multi-Agent Systems (MAS). Deadlocks may occur during operation of such M...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tomasz Rak
This study aims to identify the most effective input parameters for performance modelling of container-based web systems. We introduce a method using queueing Petri nets to model web system performance for containerized structures, leveraging prior measu...
ver más
|
|
|
|
|
|
|
|
|
|
|
Evandro Rostirolla Bortoloto, Francisco Carlos Parquet Bizarria and José Walter Parquet Bizarria
During the development stage of a space vehicle, instrumented tests are carried out on the ground to prove the operational capacity of each liquid-propellant rocket engine, which is installed in this type of vehicle. The task of elaborating a Test Bench ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Arturo Castellón and María Pilar Olivar
Different types and systems to discriminate plankton samples at different strata in the water column have been developed in recent decades. For sampling at sufficient depth, opening and closing zooplankton multinets are ideal because there is no contamin...
ver más
|
|
|
|
|
|
|
|
|
|
|
Isaac Machorro-Cano, José Oscar Olmedo-Aguirre, Giner Alor-Hernández, Lisbeth Rodríguez-Mazahua, José Luis Sánchez-Cervantes and Asdrúbal López-Chau
Today, new applications demand an internet of things (IoT) infrastructure with greater intelligence in our daily use devices. Among the salient features that characterize intelligent IoT systems are interoperability and dynamism. While service-oriented a...
ver más
|
|
|
|
|
|
|
|
|
|
|
Iwona Grobelna and Pawel Szczesniak
In this article, interpreted Petri nets are applied to the area of power and energy systems. These kinds of nets, equipped with input and output signals for communication with the environment, have so far proved to be useful in the specification of contr...
ver más
|
|
|
|
|
|
|
|
|
|
|
Shaomei Li, Guangzhi Yin, Jingzhen Ma, Bowei Wen and Zhao Zhou
Relief shading is the primary method for effectively representing three-dimensional terrain on a two-dimensional plane. Despite its expressiveness, manual relief shading is difficult and time-consuming. In contrast, although analytical relief shading is ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Cláudia Ferreira, Ana Silva and Jorge de Brito
The buildings? surroundings? environmental exposure conditions (e.g., orientation, location, altitude, distance from the sea, temperature, precipitation, presence of damp, exposure to prevailing winds, among others) have a considerable influence on the p...
ver más
|
|
|
|
|
|
|
|
|
|
|
Eduard Lotovskyi, Angelo P. Teixeira and C. Guedes Soares
This paper analyses the production availability and the associated maintenance costs of an offshore wind turbine with a horizontal axis configuration using Petri Nets modelling with Monte Carlo Simulation. For this purpose, different features are impleme...
ver más
|
|
|
|
|
|
|
|
|
|
|
Craig P O?Connell, Julia Crews, Andre King and Juliet Gressle
Although exceedingly rare, shark attacks have a disproportionately large impact on human behavior, often resulting in shark culls. Due to the invasive nature of shark culls, innovating and testing non-invasive deterrent technologies that may minimize the...
ver más
|
|
|
|
|
|
|
|
|
|
|
Luka Glamuzina, Alexis Conides, Giorgio Mancinelli and Branko Glamuzina
The Atlantic Blue Crab Callinectes sapidus has been recognized as invasive in the Mediterranean Sea, where it now provides a significant contribution to artisanal fisheries. In this study, we compared the efficiency, selectivity, and productivity of Amer...
ver más
|
|
|
|
|
|
|
|
|
|
|
Anant Sujatanagarjuna, Arne Bochem and Benjamin Leiding
Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilita...
ver más
|
|
|
|
|
|
|
|
|
|
|
Sunghwan Moon
Deep neural networks have shown very successful performance in a wide range of tasks, but a theory of why they work so well is in the early stage. Recently, the expressive power of neural networks, important for understanding deep learning, has received ...
ver más
|
|
|
|
|
|
|
|
|
|
|
Yen-Liang Pan, Chun-Wang Tai, Ching-Yun Tseng and Jong-Ching Huang
In the paper, we further propose two novel concepts called Pre Idle Transitions (PIT) and Pre Idle Places (PIP) for the IMFFP-2. Once PIT or PIP is identified from a deadlock Petri nets model, one can bypass all PIP under the process of solving MFFP, and...
ver más
|
|
|
|
|
|
|
|
|
|
|
Wentong Wang, Lichun Wang, Xufei Ge, Jinghua Li and Baocai Yin
This paper can be applied to an autonomous vehicle and driving assistance system.
|
|
|
|
|
|
|
|
|
|
|
Y. B. Demchenko,V. V. Malashkin,I. Y. Skovron
Pág. 25 - 36
|
|
|
|
|
|
|
|
|
|
|
Tomasz Rak
Web systems are becoming more and more popular. An efficiently working network system is the basis for the functioning of every enterprise. Performance models are powerful tools for performance prediction. The creation of performance models requires sign...
ver más
|
|
|
|
|
|
|
|
|
|
|
Tanuja Shailesh, Ashalatha Nayak and Devi Prasad
Performance is a critical non-functional parameter for real-time systems and performance analysis is an important task making it more challenging for complex real-time systems. Mostly performance analysis is performed after the system development but an ...
ver más
|
|
|
|
|
|