Sciweavers

941 search results - page 17 / 189
» Self-Evolving Petri Nets
Sort
View
TSMC
1998
152views more  TSMC 1998»
13 years 7 months ago
Discrete event representation of qualitative models using Petri nets
—The paper discusses how Petri nets may be used for the qualitative modeling of physical systems. The qualitative state of a system is represented by the marking of the net. The ...
Alessandra Fanni, Alessandro Giua
DFG
2003
Springer
14 years 1 months ago
Petri Net Transformations in the "Petri Net Baukasten"
Benjamin Braatz, Hartmut Ehrig, Milan Urbás...
AOSE
2004
Springer
14 years 1 months ago
Formal Semantics for AUML Agent Interaction Protocol Diagrams
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
Lawrence Cabac, Daniel Moldt
APN
2004
Springer
14 years 1 months ago
Petri Net Based Model Validation in Systems Biology
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
Monika Heiner, Ina Koch