Sciweavers

131 search results - page 12 / 27
» Petri nets for modelling and analysing trophic networks
Sort
View
CP
1998
Springer
15 years 3 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
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
15 years 1 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
BIOCOMP
2006
15 years 21 days ago
Petri Net Based Model Of The T Cell Receptor Signaling Pathway
Intracellular signaling pathways as well as the interactions and coordination that exist among them are complex and difficult to visualize and understand. Computer-based models of...
Srinidhi Jayasuryan, Anil Bamezai, Vijay Gehlot
ACSC
2009
IEEE
15 years 3 months ago
Verification of the SIP Transaction Using Coloured Petri Nets
The Session Initiation Protocol (SIP) is one of the leading protocols for multimedia control over the Internet, including initiating, maintaining and terminating multimedia sessio...
Lin Liu
APN
1993
Springer
15 years 3 months ago
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
Søren Christensen, Niels Damgaard Hansen