In this paper we consider the model of Time Petri Nets (TPN) where time is associated with transitions. We also consider Timed Automata (TA) as defined by Alur & Dill, and compare the expressiveness of the two models w.r.t. timed language acceptance and (weak) timed bisimilarity. We first prove that there exists a TA A s.t. there is no TPN (even unbounded) that is (weakly) timed bisimilar to A....

W u d As automated manufacturing systems become more complex, the need for an effective design tool to p d u c e both high level Discrete Event Control System (DECS) and low level implementation, becomes increasingly more important Petri nets represent the most effective method for both the design and implementation of DECSs. The conversion of such Petri nets into ml-time applications has mnt l...

1 Introduction: Hierarchical and modular representation of a timed Petri net model of steel plant

A Petri Net based system modelling tool has been developed for the design, simulation and analysis of real-time distributed systems. This tool allows the user to construct and edit hierarchical Petri Nets on a graphical workstation with a high-resolution screen and mouse. Some features of the tool are: the use of hierarchy in representing complex Petri Nets, capability of simulating Timed Petri...

The goal of this work is to extend a model of timed object-oriented Petri nets (TOPN) to allow modeling and analyzing dynamic systems with timing effect on system information. In the proposed Fuzzy timed object-oriented Petri net (FTOPN), we attach temporal fuzzy sets to each transition objects accounting for the aging of information. In particular, we investigate a new way to represent and dea...

Spiking Neural P (SN P) system characterizes the movement of spikes among the neurons. Spikes have a similarity with tokens in Petri net where tokens (like spikes) are moved through net according to specific rules. This paper proposes the concept of spiking Petri nets, which are isomorphic to spiking neural P systems. It also gives algorithms to construct spiking Petri net for SN P system and v...

In this paper, we propose astochastic Petri net model P-timed Workflow (WPTSPN) to specify, verify, and analyze a business process (BP) of Flexible Manufacturing System (FMS). After formalizing the semantics our model, illustrate how verifysome its properties (reachability, safety, boundedness, liveness, correctness, alive tokens, security) in P-Timed context. Next, validate relevance proposed ...