With the purpose of modeling, specifying and reasoning in an integrated fashion with procedural and declarative aspects (both commonly present in cases or scenarios), the paper introduces Logic Programming Petri Nets (LPPN), an extension to the Petri Net notation providing an interface to logic programming constructs. Two semantics are presented. First, a hybrid operational semantics that separ...

This paper aims at extending modular state space analysis to time Petri nets. The basic model is time Petri nets, where the timing is a firing interval attached to each transition. They are here extended to allow for modules. A state is composed by both a marking and a clock valuation function. The state spaces of time Petri nets are in general infinite even if the net is bounded, because the t...

with recent developments in communication technologies, it is possible to access information any time and in any place; however, mobile environments bring forward certain requirements and exclusive challenges including low connection speeds and bandwidth limitations. thus, we need to consider mobile limitations when using web services. providing services and limited resource allocation to users...

Linear constraint systems are simple deductive systems based on the main underlying idea of linear logic: hypotheses represent physical resources which are consumed by the entailment relation. For such systems, we deene back-and-forth translations into a class of high-level Petri nets. Using the speciic properties of that class of nets, and previous results about the complexity of the reachabil...

A recently proposed generic discrete event model is further developed and exemplified in this paper. Since every transition is expressed as a predicate on the current and next values of a set of variables, the model is called Predicate Transition Model (PTM). It is briefly illustrated how a number of well known discrete-event models, including automata and Petri nets extended with shared variab...

Petri nets are a simple formalism for modelling concurrent computation. This formalism has been proposed as a promising tool to describe and analyse biochemical networks. In this thesis, we explore the structural properties of Petri nets as a mean to provide information about the biochemical system evolution and its dynamics, especially when kinetic data are missing, making simulations impossib...

Preliminary note In this paper an application of Petri nets (Petri Nets – PN) is shown in the modeling and simulation of the production process. Petri nets are graphically mathematical tools that are suitable for modeling and projecting different system types. The very approach to a system modeling by means of Petri nets faithfully reflects the way events develop in the real world so that, for ...