This paper introduces Petri net (PN) based models of cooperative robotic tasks, namely those involving the coordination of two or more robots, thus requiring the exchange of synchronisation messages, either using explicit (e.g., wireless) or implicit (e.g., vision-based observation of teammates) communication. In the models, PN places represent primitive actions, subtasks and predicates set by ...

This paper introduces Petri net (PN) based models of cooperative robotic tasks, namely those involving the coordination of two or more robots, thus requiring the exchange of synchronisation messages, either using explicit (e.g., wireless) or implicit (e.g., vision-based observation of teammates) communication. In the models, PN places represent primitive actions, subtasks and predicates set by ...

The operational management of complex systems is characterized, in general, by the existence of a huge number of solutions. Decision-making processes must be implemented in order to find the best results. These processes need suitable modeling tools offering true practical resolution perspectives. Among them, Petri nets (PNs) provide a simple graphical model taking into account, in the same for...

The language described in this paper, called Cooperative Objects, fits in the category of strongly-typed OOL. Its type system, the semantics it retains for inheritance, and more generally all its specifically Object-Oriented features are strongly influenced by the Eiffel language [1]. In particular, an object system is organized by a dynamically evolving use relationship, describing how the obj...

There exist many diierent Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are suucient for describing most classical Petri net formalisms. Since these aspects are independent of each other, we call them the Dimensions of Petri Nets.

The flexible job-shop scheduling problem with indirect energy and time-of-use (ToU) electricity pricing (FJSP-IT) is investigated. Considering the production cost, which includes direct cost time evaluation model under ToU built. To minimize total of FJSP-IT, an approach based on a genetic algorithm Petri nets (GAPN) presented. Under this approach, are modeled net (PN) nodes, operation evaluate...

Discrete-event dynamic systems (DEDS) are characterized by a set of states which the system can take, and by the set of asynchronous events that cause the state changes at discrete time points. Programmable logic controllers (PLCs) are still important special purpose computers used to automate the DEDS in industry. Ladder logic diagrams (LLDs) are still the most popular graphical programming to...

Petri nets have become a mature modelling and analysis tool applicable in many application domains. Since the introduction of the Petri net concept in 1962 (Petri 14]), Petri nets have been investigated and applied by many researchers. Many extensions of the classical Petri net have been proposed. To model attributes, `colour' has been added. Time concepts have been added to describe the tempor...

In this paper the basic ideas underlying the implementation of a Code Generator for B(PN) 2 (Basic Petri Net ProgrammingNotation), i.e. a translator of B(PN) 2 into C is presented. The core syntax of the source language is extended by C-routine calls (i.e user deened procedures or system calls) as atomic commands. The target language is represented in terms of the ANSI C Standard with its opera...