Results 21 to 30 of about 21,375,197 (296)
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
, 1991 High level Petri nets have tokens with values, traditionally called colors, and transitions that produce tokens in a functional way, using the consumed tokens as arguments of the function application. Large nets should be designed in a topdown approach and therefore we introduce a hierarchical net model which combines a data flow diagram technique with
Kees M. van Hee +2 more
openaire +4 more sources
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
Two Algebraic Process Semantics for Contextual Nets
, 2001 We show that the so-called 'Petri nets are monoids' approach initiated by Meseguer and Montanari can be extended from ordinary place/transition Petri nets to contextual nets by considering suitable non-free monoids of places.
SASSONE V. +5 more
core +2 more sources
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
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
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
DAIMI Report Series, 1983 This paper combines two closely related net models, predicate/transition nets and coloured Petri nets, into a new net model called high-level Petri nets. The new model is intended to combine the qualities of the two old models into a single formalism, and we propose in the future to use high-level Petri nets instead of both predicate/transition nets ...
openaire +3 more sources