Results 21 to 30 of about 31,117 (298)
Accurate Complex Systems Design: Integrating Serious Games with Petri Nets
International Journal of Serious Games, 2016 Difficulty understanding the large number of interactions involved in complex systems makes their successful engineering a problem. Petri Nets are one graphical modelling technique used to describe and check proposed designs of complex systems thoroughly.
Kirsten Sinclair, Daniel Livingstone
doaj +1 more source
Logic Petri Net Synthesis for Cooperative Systems
IEEE Access, 2019 Logic Petri Nets (LPNs) is a high-level Petri net, which have the capability to model the batch and indeterminate processing of resources in cooperative systems.
Wenjing Luan +4 more
doaj +1 more source
IEEE Access, 2020 A typical example of discrete event systems (DESs) is a reconfigurable manufacturing system (RMS) whose can be changed and become more complicated during its operation.
Husam Kaid +2 more
doaj +1 more source
Fuzzy coloured petri nets‐based method to analyse and verify the functionality of software
CAAI Transactions on Intelligence Technology, 2023 Some types of software systems, like event‐based and non‐deterministic ones, are usually specified as rules so that we can analyse the system behaviour by drawing inferences from firing the rules.
Mina Chavoshi, Seyed Morteza Babamir
doaj +1 more source
Branching Processes of High-Level Petri Nets [PDF]
, 2003 In this paper, we define branching processes and unfoldings of high-level Petri nets and propose an algorithm which builds finite and complete prefixes of such unfoldings. The advantage of our method is that it avoids a potentially expensive translation of a high-level Petri net into a low-level one. The approach is conservative as all the verification
Khomenko V, Koutny M
openaire +1 more source
Fault diagnosis of PLC-based discrete event systems using Petri nets
Measurement + Control, 2022 This paper addresses the fault diagnosis problem of PLC-based systems that can be modeled as Petri nets under a certain level of abstraction. The existing Petri-net-based fault diagnosis approaches often associate transitions and/or places with sensors ...
Yongyao Li +4 more
doaj +1 more source
System modelling with high-level Petri nets
Theoretical Computer Science, 1981 AbstractThe paper presents a high-level Petri net model of concurrent systems called predicate /transition-nets (PrT-nets). Its places represent variable properties of, or relations between, individuals; they are ‘predicates’ with variable extension. The transitions represent classes of elementary changes of those extensions. The model is introduced on
Hartmann J. Genrich, Kurt Lautenbach
openaire +1 more source
Slicing High-level Petri Nets. [PDF]
, 2014 High-level Petri nets (evolutions of low-level Petri nets) are well suitable formalisms to represent complex data, which influence the behavior of distributed, concurrent systems. However, usual verification techniques such as model checking and testing remain an open challenge for both (i.e., low-level and high-level Petri nets) because of the state ...
Khan, Yasir Imtiaz, Guelfi, Nicolas
openaire +3 more sources
Pattern Matching in Link Streams: Timed-Automata with Finite Memory [PDF]
Scientific Annals of Computer Science, 2018 Link streams model the dynamics of interactions in complex distributed systems as sequences of links (interactions) occurring at a given time. Detecting patterns in such sequences is crucial for many applications but it raises several challenges.
C. Bertrand +3 more
doaj +1 more source
A Simulation Model Articulation of the REA Ontology [PDF]
, 2009 This paper demonstrates how the REA enterprise ontology can be used to construct simulation models for business processes, value chains and collaboration spaces in supply chains.
C.L. Dunn +11 more
core +2 more sources