Results 11 to 20 of about 3,623,879 (377)
Mathematical Structures in Computer Science, 2019 The 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.
Baez, John C., Master, Jade
core +4 more sources
Texts in Theoretical Computer Science. An EATCS Series, 2015 This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial ...
Éric Badouel +2 more
semanticscholar +4 more sources
A Congruence for Petri Nets [PDF]
Electronic Notes in Theoretical Computer Science, 2005 AbstractWe introduce a way of viewing Petri nets as open systems. This is done by considering a bicategory of cospans over a category of p/t nets and embeddings. We derive a labelled transition system (LTS) semantics for such nets using GIPOs and characterise the resulting congruence. Technically, our results are similar to the recent work by Milner on
Sassone, V., Sobocinski, P.
openaire +3 more sources
Existence of Forbidden Digraphs for Crisp Boolean Petri Nets [PDF]
International Journal of Mathematical, Engineering and Management Sciences, 2020 Boolean Petri net (BPN) and Crisp Boolean Petri net (CBPN) is a well-studied graph model since 2010 which has several applications in mathematical modeling of complex or tricky networks.
Gajendra Pratap Singh +2 more
doaj +1 more source
Dynamic Slicing of Time Petri Net Based on MTL Property
IEEE Access, 2022 The time Petri net (TPN) is a powerful tool for modeling, simulating, and verifying real-time systems. Unfortunately, the state spaces of the time Petri net grow exponentially due to the complexity of real-time systems.
P. Chariyathitipong, W. Vatanawood
doaj +1 more source
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 +4 more sources
XML format for notation of object-oriented Petri net
Acta Universitatis Agriculturae et Silviculturae Mendelianae Brunensis, 2007 Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models ...
Petr Jedlička
doaj +1 more source
Extracting Petri Modules From Large and Legacy Petri Net Models
IEEE Access, 2020 Petri nets, even though very useful for modeling of discrete event systems, suffer from some weaknesses such as huge size, huge state space, and slow in simulation. Due to the huge state space, model checking a Petri net is difficult.
Reggie Davidrajuh
doaj +1 more source
A Small Universal Petri Net [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 A universal deterministic inhibitor Petri net with 14 places, 29 transitions and 138 arcs was constructed via simulation of Neary and Woods' weakly universal Turing machine with 2 states and 4 symbols; the total time complexity is exponential in the ...
Dmitry A. Zaitsev
doaj +1 more source
Wavelet-Based EEG Processing for Epilepsy Detection Using Fuzzy Entropy and Associative Petri Net
IEEE Access, 2019 Epilepsy is a common neurological disease that can cause seizures and loss of consciousness and can have a severe negative impact on long-term cognitive function. Reducing the severity of impact requires early diagnosis and treatment.
Hsiu-Sen Chiang +2 more
semanticscholar +1 more source