Results 101 to 110 of about 462,160 (174)

Deterministic Petri net languages as business process specification language. [PDF]

Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for ...
De Backer, Manu, Snoeck, Monique
core  

Several supplementary concepts for applied category-theoretical states over an extended Petri net using an example relating to genetic coding: Toward an abstract algebraic formulation of molecular/genetic biology. [PDF]

PLoS One
Sawamura J, Morishita S, Ishigooka J.
europepmc   +1 more source

Insertion attack identification in discrete event systems using petri nets with an observer. [PDF]

PLoS One
Ahmed AA, Chen Y, El-Sherbeeny AM.
europepmc   +1 more source

A strong construction of S-box using Mandelbrot set an image encryption scheme. [PDF]

PeerJ Comput Sci, 2022
Aslam M, Beg S, Anjum A, Qadir Z, Khan S, Malik SUR, Mahmud MP.   +6 more
europepmc   +1 more source

Multi-Probing Opportunistic Routing in Buffer-Constrained Wireless Sensor Networks. [PDF]

Sensors (Basel)
Sun N, Cao S, Liu X, Gao Y, Xu Y, Liu J.
europepmc   +1 more source

Formal Verification of Control Modules in Cyber-Physical Systems. [PDF]

Sensors (Basel), 2020
Grobelna I.
europepmc   +1 more source

Operads for complex system design specification, analysis and synthesis. [PDF]

Proc Math Phys Eng Sci, 2021
Foley JD, Breiner S, Subrahmanian E, Dusel JM.   +3 more
europepmc   +1 more source

Toward a modeling and analysis method of cyber-physical systems architecture evolution based on bigraph. [PDF]

Sci Rep
Lu C, Zou Q, Zhou J.
europepmc   +1 more source

Towards Fault-Tolerant AGV Task Scheduling in Flexible Manufacturing Systems Using a Tree-Based Max-Plus Predictive Approach. [PDF]

Sensors (Basel)
Zaborniak D, Kasza P, Pazera M, Witczak M.   +3 more
europepmc   +1 more source