Results 11 to 20 of about 31,117 (298)
Graphic Model for Shop Floor Simulation and Control in the Context of Industry 5.0
Applied Sciences, 2023 Industry 5.0 changes the paradigm of the current production model, with repercussions throughout the value chain, and opens up opportunities for new approaches that include reducing waste to optimize the use of the planet’s resources. This paper proposes
Nuno Fernandes +2 more
doaj +1 more source
Cluster Grid based Response-time analysis module for the PIPE Tool. [PDF]
, 2007 Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation ...
Argent-Katwala, A +2 more
core +2 more sources
Shared P-Type Logic Petri Net Composition and Property Analysis: A Vector Computational Method
IEEE Access, 2020 Petri net (PN) is an effective modeling and analysis tool for discrete event systems. By attaching a first-order logic predicate logic formula to a transition in a PN, a high-level Petri net named Logic Petri Net (LPN) is obtained. LPN has been proved to
Liang Qi +3 more
doaj +1 more source
Service-oriented process control using high-level petri nets [PDF]
, 2008 Service-oriented systems constitute a suitable approach for the development of modular, flexible and reconfigurable production systems, addressing the current requirements imposed by global markets.
Colombo, Armando W. +3 more
core +1 more source
Reachability trees for high-level petri nets
Theoretical Computer Science, 1986 High-level Petri nets have been introduced as a powerful net type by which it is possible to handle rather complex systems in a succinct and manageable way. The success of high-level Petri nets is undebatable when we speak about description, but there is still much work to be done to establish the necessary analysis methods. In other papers it is shown
Jensen, Kurt +3 more
openaire +3 more sources
MathMC: A mathematica-based tool for CSL model checking of deterministic and stochastic Petri nets [PDF]
, 2006 Deterministic and Stochastic Petri Nets (DSPNs) are a widely used high-level formalism for modeling discreteevent systems where events may occur either without consuming time, after a deterministic time, or after an exponentially distributed time.
Haverkort, Boudewijn R. +1 more
core +3 more sources
Tools and Methods for RTCP-Nets Modeling and Verification
Archives of Control Sciences, 2016 RTCP-nets are high level Petri nets similar to timed colored Petri nets, but with different time model and some structural restrictions. The paper deals with practical aspects of using RTCP-nets for modeling and verification of real-time systems.
Szpyrka Marcin +2 more
doaj +1 more source
International Journal of Technology, 2016 In any heterogeneous system, porting reconfigurable computing is often a high performance platform for a broad range of computationally challenging issues.
Maheswari R, Pattabiraman V
doaj +1 more source
Integration of an object formalism within a hybrid dynamic simulation environment [PDF]
, 2004 PrODHyS is a general object-oriented environment which provides common and reusable components designed for the development and the management of dynamic simulation of systems engineering.
Hétreux, Gilles +2 more
core +3 more sources
Stochastic High-level Petri Nets and Applications
IEEE Transactions on Computers, 1988 A class of stochastic Petri nets called stochastic high-level Petri nets (SHLPNs) is proposed. SHLPNs are high-level Petri nets augmented with exponentially distributed firing times. SHLPNs generally lead to models with a smaller state space. A computer marking concept is introduced that allows a considerable reduction of the number of states and ...
Lin, Chuang, Marinescu, Dana Cristian
openaire +2 more sources