Sciweavers

941 search results - page 117 / 189
» Self-Evolving Petri Nets
Sort
View
APN
2006
Springer
15 years 1 months ago
The Synthesis Problem of Netcharts
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
Nicolas Baudru, Rémi Morin
SERP
2007
14 years 11 months ago
Component Based Multi-Agent System Modeling and Analysis: A Case Study
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
Jiexin Lian, Sol M. Shatz, Xudong He
FORTE
2004
14 years 11 months ago
Introducing the Iteration in sPBC
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
Hermenegilda Macià, Valentín Valero ...
FUIN
2006
125views more  FUIN 2006»
14 years 9 months ago
Associative Omega-product of Processes
The notion of an associative omega-product is applied to processes. Processes are one of the ways to represent behavior of Petri nets. They have been studied for some years as an ...
Roman R. Redziejowski
SAC
2008
ACM
14 years 9 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro