Results 51 to 60 of about 462,160 (174)

Mapping RT-LOTOS specifications into Time Petri Nets [PDF]

, 2006
RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri ...
Boyer, Marc, Sadani, Tarek, Courtiat, Jean-Pierre, Jean-Pierre Courtiat, Tarek Sadani, Saqui-Sannes, Pierre de, Pierre de Saqui-Sannes, Marc Boyer   +7 more
core   +1 more source

Correction to “On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets”

IEEE Access
In the above article [1], for the funding information, the wrong information is “the Science and Technology Development Fund (FDCT), MSAR, under Grant 0012/2019/A3” while the correct information should be “the Science and Technology ...
Dajiang Sun, Yufeng Chen, Mohammed A. El-Meligy, Mohamed A. F. Sharaf, Naiqi Wu, Zhiwu Li   +5 more
doaj   +1 more source

Relation-algebraic analysis of Petri nets with RELVIEW [PDF]

, 1996
We present a method for specifying and implementing algorithms for the analysis of Petri nets. It is formally grounded in relational algebra. Specifications are written in ordinary predicate logic and then transformed systematically into relational programs which can be executed directly in RELVIEW, a graphical computer system for calculating with ...
Rudolf Berghammer, Burghard von Karger, Christiane Ulke   +2 more
openaire   +1 more source

Vehicular Traffic Networks Simulation: Towards the Implementation of a High‐Performance Computing Simulator

Complexity, Volume 2026, Issue 1, 2026.
This work presents a comparison of different software and hardware implementations of a traffic simulator using a fluid‐based mesoscopic model. The model represents Vehicular Traffic Networks (VTNs) based on the flow resulting by the interconnection of dynamical agents associated to street segments and intersections.
Felipe Morales-Torres, Eduardo G. Hernandez-Martinez, Jose E. Quiroz-Ibarra, Mauricio Flores-Geronimo, Guillermo Fernandez-Anaya, Enrique D. Ferreira-Vazquez, Jose-Job Flores-Godoy, Pramita Mishra   +7 more
wiley   +1 more source

Self‐Efficacy, Emotions and Mathematics Achievement: Longitudinal Effects of Flipped Learning

Journal of Computer Assisted Learning, Volume 41, Issue 6, December 2025.
ABSTRACT Background First‐year engineering mathematics courses present a critical academic challenge, often leading to a significant decline in student self‐efficacy, a key predictor of retention and success. While flipped learning is a proposed solution, a lack of longitudinal research using robust comparison groups has limited our understanding of ...
Petri Nokelainen, Terhi Kaarakka, Jani Hirvonen, Ilmari Puhakka, Riikka Kangaslampi, Simo Ali‐Löytty, Vikke Vuorenpää, Elina Viro   +7 more
wiley   +1 more source

Petri nets, algebras, morphisms, and compositionality

Information and Computation, 1987
It is shown how a category of Petri nets can be viewed as a subcategory of two sorted algebras over multisets. This casts Petri nets in a familiar framework and provides a useful idea of morphism on nets different from the conventional definition - the morphisms here respect the behaviour of nets.
openaire   +1 more source

Corn cob pyrolysis: A systematic literature review of methods and applications

The Canadian Journal of Chemical Engineering, Volume 103, Issue 11, Page 5520-5585, November 2025.
Mapping the research landscape of corn cob pyrolysis. Abstractas The agricultural sector is experiencing a surge in waste generation due to population growth, creating an urgent need to convert byproducts into value‐added products. Maize (Zea mays L.), a leading global crop, produces significant byproducts, such as corn cob, which are often undervalued.
Vilmar Steffen, Maiquiel Schmidt de Oliveira, Lais da Silva Pego Hericks, Schaline Winck Alberti, Marlon Henrique da Silva, Edson Antonio da Silva   +5 more
wiley   +1 more source

Towards Sustainable IoT: A Digital Signature‐Enhanced Federated Learning Approach

SECURITY AND PRIVACY, Volume 8, Issue 4, July/August 2025.
ABSTRACT Federated Learning (FL) is emerging as a premier paradigm for privacy‐preserved Machine Learning (ML), enabling devices to train models without central data pooling collaboratively. In the contemporary Internet of Things (IoT) landscape, characterized by escalating energy consumption and associated carbon footprint, FL is recognized not merely
Shahida Hafeezan Qureshi, Saif Ur Rehman Malik, Junaid Haseeb, Syed Atif Moqurrab, Tanvir Fatima Naik Bukht, Gautam Srivastava   +5 more
wiley   +1 more source

On the Semantics of Place/Transition Petri Nets

, 1997
Place/Transition (PT) Petri nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the 'token game' is too intensional, even in its more abstract interpretations in ...
Meseguer, J., Montanari, U., Sassone, V.
core   +1 more source

A Process‐Oriented Approach to Analyze Analysts' Use of Visualizations: Revealing Insights into the What, When, and How

Computer Graphics Forum, Volume 44, Issue 3, June 2025.
Abstract Despite Visual Analytics (VA) tools being essential for supporting data analysis, evaluating their use in real‐world analytical processes remains challenging. Traditional evaluation methods often overlook the nuanced and evolving nature of analysis processes and are not always suitable for investigating scenarios in which analysts combine ...
L. Zimmermann, F. Zerbato, K. Vrotsou, B. Weber   +3 more
wiley   +1 more source