Sciweavers

181 search results - page 8 / 37
» Petri Net Based Simulation of Construction Schedules
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
13 years 9 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
CP
1998
Springer
13 years 12 months ago
Modelling CSP Solution Algorithms with Petri Decision Nets
The constraint paradigm provides powerful concepts to represent and solve different kinds of planning problems, e. g. factory scheduling. Factory scheduling is a demanding optimiz...
Stephan Pontow
BIRTHDAY
2005
Springer
14 years 1 months ago
Loose Semantics of Petri Nets
Abstract In this paper, we propose a new loose semantics for place/transition nets based on transition systems and generalizing the reachability graph semantics. The loose semantic...
Julia Padberg, Hans-Jörg Kreowski
DSRT
1999
IEEE
14 years 18 hour ago
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
Giancarlo Fortino, Libero Nigro
IEAAIE
1995
Springer
13 years 11 months ago
Modelling Hybrid Rule/Frame-Based Expert Systems Using Coloured Petri Nets
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung