This paper proposes a method of defining and analysing robotic tasks using Petri Nets. Both the robot behaviors and environment are modelled using Generalized Stochastic Petri Nets (GSPNs). Each action is modelled separately and composed with others to provide a complete task execution. The use of Petri Nets allows the qualitative and quantitative analysis of the task execution.

We discuss the similarity of a recent approach to task suspension in agent programming languages with an earlier approach to formalising preemption using a class of Petri nets, called M-nets. We argue that the theory of agent programming would benefit from adopting certain features of the Petri-net approach, and thus making further results for Petri nets applicable in the agent domain.

The aim of this survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid the production engineers in their work. After some terminology concerning production engineering, the hierarchical decision and control level is briefly reviewed. Finally, the role and the prese...

Petri nets are a fundamental model of concurrent processes and have a wide range of applications. They can be viewed as generalisation of transition systems in which concurrency is not simulated by non-deterministic interleaving. They were invented by C. A. Petri in the 60's. (A reference work is [Br].) It can be argued that the main effort and success of Petri Net Theory has been in developing...

This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development. Object Petri Nets support a complete integration of object-oriented concepts into Petri Nets, including inheritance and the assoc...

We introduce a new class of Petri nets, simple logic Petri nets (SLPN). We show how this type of nets can be efficiently mapped into logic programs with negation: the corresponding answer sets describe interleaved executions of the underlying Petri nets. We also show how to model and specify AgentSpeak agents with SLPN’s. This allows us to solve the task of model checking AgentSpeak agents by c...

secure electronic transaction (set) protocol is an open protocol, which has the potential to emerge as a powerful tool in securing of electronic transactions. the quality of a design of an ecommerce protocols has a great influence on achieving non-functional requirements (nfrs) to the system. an increasingly important non-functional attribute of complex software systems is adaptability. softwar...