Time and Petri nets-do they not contradict each other? While time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and represent events as a concurrent system. At first, these two appear to be at odds with each other, but taking a closer look at how time and causality are intertwined, one realizes that time actually enriches Petri nets. Th...

Petri nets are formal models of systems which exhibit concurrent activities. As formal models, Petri nets are bipartite directed graphs, in which the two types of vertices represent, in a very general sense, conditions and events. In order to study performance aspects of systems modeled by Petri nets, the durations of modeled activities must also be taken into account. This can be done in diffe...

We present Hybrid Stochastic Petri Nets (HSPNs) as a revision and extension of the Fluid Stochastic Petri Nets (FSPNs). HSPNs can be used for modeling dynamic systems that comprise both discrete and continuous quantities. Discrete state changes are assumed to be Markovian and continuous variables are assumed to be deterministic. HSPNs are designed to improve the clarity and consistency of the g...

High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the analysis of the knowledge inference during the reasoning process, and to support the system verification which increasingly becomes an integral part of expert system development. Nevertheless, there is not much attention ...

High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional nile-based expert systems. The major effect is to facilitate tlie analysis of the knowledge inference during the reasoning process, and to support tlie system verification which increasingly becomes an integral part of expert system development. Nevertheless, there is not much attentio...

Grid is one of the most e ective new paradigms in large scale distributed computing. Only recently Petri nets have been adopted as a formal modeling framework for describing the speci c aspects of the Grid. In this paper we describe a Grid tool for High Energy Physics data analysis, and we show how modeling its architecture with nets-withinnets has led us to identify and solve a number of defec...

The construction and analysis of Multiple Input Multiple Output (MIMO) subnets is discussed. It is shown that Hierarchical TimeExtended Petri Nets (H-EPNs) allow the development of structured MIMO subnets through the use of bottom-up Petri Net synthesis techniques. The paper analyzes Petri Net extensions that allow a truly hybrid approach to Petri Net based systems modeling, analysis and develo...

This paper addresses the problem of deriving a design and verification method for hybrid systems. The paper applies the theory of Rectangular Petri nets in which the discrete event system is modelled using an extended form of Petri net and the continuous system is represented as a differential inclusion and its dynamics are constrained to rectangular regions of the state space. The Rectangular ...

The construction and analysis of Multiple Input Multiple Output (MIMO) subnets is discussed. It is shown that Hierarchical TimeExtended Petri Nets (H-EPNs) allow the development of structured MIMO subnets through the use of bottom-up Petri Net synthesis techniques. The paper analyzes Petri Net extensions that allow a truly hybrid approach to Petri Net based systems modeling, analysis and develo...

Object based Petri nets are becoming increasingly popular in many fields of computer science. The possibility to model real-world objects as separate Petri nets supports the need for modular design of complex systems. So far object net approaches have been based on the presumption that the object nets’ structure remains unchanged in all processes. This paper sheds some light on possible extensi...