Sciweavers

390 search results - page 13 / 78
» Application of Coloured Petri Nets in System Development
Sort
View
JAIR
2006
111views more  JAIR 2006»
13 years 8 months ago
Representing Conversations for Scalable Overhearing
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent c...
Gery Gutnik, Gal A. Kaminka
BIRTHDAY
2008
Springer
13 years 10 months ago
Transformations in Reconfigurable Place/Transition Systems
Reconfigurable place/transition systems are Petri nets with initial markings and a set of rules which allow the modification of the net during runtime in order to adapt the net to ...
Ulrike Prange, Hartmut Ehrig, Kathrin Hoffmann, Ju...
ECEASST
2008
73views more  ECEASST 2008»
13 years 8 months ago
Negative Application Conditions for Reconfigurable Place/Transition Systems
: This paper introduces negative application conditions for reconfigurable place/transition nets. These are Petri nets together with a set of rules that allow changing the net and ...
Alexander Rein, Ulrike Prange, Leen Lambers, Kathr...
APN
1994
Springer
14 years 17 days ago
Modelling the Work Flow of a Nuclear Waste Management Program
In this paper we describe a modelling project to improve a nuclear waste management program in charge of the creation of a new system for the permanent disposal of nuclear waste. S...
Kjeld Høyer Mortensen, Valerio O. Pinci
SOFSEM
2009
Springer
14 years 1 months ago
Partial Order Semantics of Types of Nets
In this paper we define partial order semantics of types of nets. Types of nets are a parametric definition of Petri nets originally developed for a general presentation of the s...
Robert Lorenz, Gabriel Juhás, Sebastian Mau...