Results 31 to 40 of about 315,703 (191)
Productive process improvement to elaborate cane train baskets, using Coloured Petri nets
Dyna, 2018 La búsqueda de mejoras en los procesos de producción asociadas a variaciones en la flexibilidad y rentabilidad es un tema ampliamente discutido en diversos sectores de la industria.
Jesús Filander Caratar-Chaux +2 more
doaj +1 more source
A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol
CLEI Electronic Journal, 2003 The goal of the Resource Reservation Protocol (RSVP) is to support the provision of the Quality of Service required for emerging Internet applications (such as video conferencing) that require a level of performance not guaranteed by the Internet.
María E. Villapol, Jonathan Billington
doaj +1 more source
Mapping RT-LOTOS specifications into Time Petri Nets [PDF]
, 2006 RT-LOTOS is a timed process algebra which enables compact and abstract specification of real-time systems. This paper proposes and illustrates a structural translation of RT-LOTOS terms into behaviorally equivalent (timed bisimilar) finite Time Petri ...
Boyer, Marc +7 more
core +1 more source
Abstract and Applied Analysis, 2014 The wireless mesh network (WMN) is an emerging and cost-effective alternative paradigm for the next generation wireless networks in many diverse applications.
Naeem Akhtar Khan +2 more
doaj +1 more source
The Impact of Petri Nets on System-of-Systems Engineering [PDF]
, 2009 The successful engineering of a large-scale system-of-systems project towards deterministic behaviour depends on integrating autonomous components using international communications standards in accordance with dynamic requirements.
SINCLAIR, KIRSTEN,MHAIRI
core
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
Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns
Advances in Distributed Computing and Artificial Intelligence Journal, 2015 In Service-Oriented Architectures (SOA) services are composed by coordinating their communications into a flow of interactions. Coloured Petri nets (CPN) offer a formal yet easy tool for modelling abstract SOAs.
Saverio GIALLORENZO +2 more
doaj +1 more source
Acta Polytechnica, 2005 One specific model of a digital system in different types of Petri nets is presented. The formal definitions of the basic (black-and-white) Petri net, a place/transition net (P/T net), an arc-constant coloured Petri net (ac-CPN) and a coloured Petri net (
H. Kubátová
doaj
IET Software, 2023 The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results.
Wenjie Zhong, Jian‐tao Zhou, Tao Sun
doaj +1 more source
Coloured Petri Nets and the Invariant-Method
DAIMI Report Series, 1981 <p>In many systems a number of different processes have a similar structure and behaviour. To shorten system description and system analysis it is desirable to be able to treat such similar processes in a uniform and succinct way. In this paper it is shown how Petri nets can be generalized to allow processes to be described by a common subnet ...
openaire +2 more sources