Sciweavers

1014 search results - page 67 / 203
» ''What Is a Petri Net
Sort
View
ICRA
2003
IEEE
147views Robotics» more  ICRA 2003»
14 years 3 months ago
Modular petri net based modeling, analysis and synthesis of dedicated production systems
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...
George J. Tsinarakis, Kimon P. Valavanis, Nikos Ts...
AC
2003
Springer
14 years 3 months ago
Application of Coloured Petri Nets in System Development
Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and...
Lars Michael Kristensen, Jens Bæk Jør...
GCC
2003
Springer
14 years 3 months ago
An Object-Oriented Petri Nets Based Integrated Development Environment for Grid-Based Applications
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...
Hongyi Shi, Aihua Ren
FUIN
2008
94views more  FUIN 2008»
13 years 10 months ago
On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets
In this paper, we consider safe Time Petri Nets where time intervals (strict and large) are associated with places (P-TPN), arcs (A-TPN) or transitions (T-TPN). We give the formal ...
Marc Boyer, Olivier H. Roux
ENTCS
2002
91views more  ENTCS 2002»
13 years 10 months ago
Petri nets with causal time for system verification
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time. With this concept, the progr...
Cécile Bui Thanh, Hanna Klaudel, Franck Pom...