Results 11 to 20 of about 23,744 (217)
Compound Petri nets and alternatives aggregation Petri nets: Two formalisms for decision-making support [PDF]
Advances in Mechanical Engineering, 2016 Decision-making in technological systems, such as communication networks, manufacturing facilities and supply chains, constitutes a common requirement able to lead companies galore to success or failure.
Juan-Ignacio Latorre-Biel +5 more
doaj +2 more sources
Mathematical Structures in Computer Science, 2020 AbstractThe reachability semantics for Petri nets can be studied using open Petri nets. For us, an “open” Petri net is one with certain places designated as inputs and outputs via a cospan of sets. We can compose open Petri nets by gluing the outputs of one to the inputs of another. Open Petri nets can be treated as morphisms of a category Open(Petri),
John C. Baez, Jade Master
openaire +2 more sources
Elasticity and Petri Nets [PDF]
, 2008 Digital electronic systems typically use synchronous clocks and primarily assume fixed duration of their operations to simplify the design process. Time elastic systems can be constructed either by replacing the clock with communication handshakes (asynchronous version) or by augmenting the clock with a synchronous version of a handshake (synchronous ...
Cortadella, Jordi +4 more
openaire +3 more sources
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 +7 more
core +1 more source
Information and Computation, 1990 A new definition of place/transition Petri nets as graphs with the operation of parallel and sequential composition on the transitions is given. New morphisms, relating system description at different level of abstractions, and new constructions, like function space for Petri nets, are defined.
MESEGUER J +1 more
openaire +2 more sources
Известия высших учебных заведений. Поволжский регион:Технические науки, 2023 Background. A technique for deep knowledge structuring in a semantic-oriented intelligent computing environment based on the expansion of the descriptive capabilities of Petri nets by integrating them with conceptual graphs is proposed.
V.I. Volchikhin +3 more
doaj +1 more source
Fuzzy output system on the basis of the modified fuzzy Petri nets [PDF]
E3S Web of Conferences, 2020 The development of information technologies requires improvement of simulation methods and mathematical apparatus. The mathematical apparatus of Petri nets is used for simulation of parallel asynchronous systems and has a broad scope.
Kochkin Dmitry, Sukonschicov Aleksei
doaj +1 more source
Вестник Самарского государственного технического университета. Серия: Технические науки, 2022 The presented review analyzes the approaches and methods of using simulation models in the maintenance and repair organization of the complex technical objects and systems.
Sergey P. Orlov, Sergey V. Susarev
doaj +1 more source
A class of generalized Petri nets and its state equation
Advances in Mechanical Engineering, 2017 By analyzing the evolution nature of a Petri net, this article reports a generalized state equation for Petri nets, including Petri nets with inhibitor and enabling arcs.
Rongming Zhu, Ya Zhang, Lan Yang
doaj +1 more source
From RT-LOTOS to Time Petri Nets new foundations for a verification platform [PDF]
, 2005 The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verification platform has been developed for early detection of design errors in ...
Sadani, Tarek +5 more
core +1 more source