Results 21 to 30 of about 64,411 (297)
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
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
Вестник Самарского государственного технического университета. Серия: Технические науки, 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
Evolving concurrent Petri net models of epistasis [PDF]
, 2010 A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational models of concurrent processes.
Beretta, Lorenzo, Mayo, Michael
core +1 more source
A new approach for diagnosability analysis of Petri nets using Verifier Nets [PDF]
, 2012 In this paper, we analyze the diagnosability properties of labeled Petri nets. We consider the standard notion of diagnosability of languages, requiring that every occurrence of an unobservable fault event be eventually detected, as well as the stronger ...
Cabasino MP +3 more
core +2 more sources
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
Information Systems Development with the Help of Petri Nets [PDF]
Vietnam Journal of Computer Science, 2020 Many present software systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that ...
Jaroslav Pokorný +2 more
doaj +1 more source
BRICS Report Series, 1994 Several categorical relationships (adjunctions) between models for concurrency<br /> have been established, allowing the translation of concepts and<br />properties from one model to another. A central example is a coreflection<br />between Petri nets and asynchronous transition systems.
Nielsen, Mogens, Winskel, Glynn
openaire +4 more sources
DESIGN AND IMPLEMENTATION OF DEADLOCK CONTROL FOR AUTOMATED MANUFACTURING SYSTEMS
South African Journal of Industrial Engineering, 2019 Petri nets are robust mathematical tools for the modelling, handling, and control of deadlock problems in automated manufacturing systems (AMSs). Several methods have been proposed to prevent deadlocks in AMSs.
Kaid, Husam +4 more
doaj +1 more source
, 1997 We introduce a subclass of Valk's self-modifying nets. The considered nets appear as statified sums of ordinary nets and they arise as a counterpart to cascade products of automata via the duality between automata and nets based on regions in automata.
Badouel, Eric, Darondeau, Philippe
openaire +2 more sources