Sciweavers

941 search results - page 5 / 189
» Petri Nets Are Dioids
Sort
View
TCS
2011
14 years 4 months ago
An algorithmic framework for network reconstruction
Models of biological systems and phenomena are of high scientific interest and practical relevance, but not always easy to obtain due to their inherent complexity. To gain the re...
Markus Durzinsky, Annegret Wagler, Robert Weismant...
AWPN
2008
268views Algorithms» more  AWPN 2008»
14 years 11 months ago
EWFN - A Petri Net Dialect for Tuplespace-Based Workflow Enactment
Abstract Petri nets are a formalism for describing systems where interactions between active components
Daniel Martin, Daniel Wutke, Frank Leymann
CORR
2010
Springer
138views Education» more  CORR 2010»
14 years 8 months ago
Feedback control logic synthesis for non safe Petri nets
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...
Abbas Dideban, Hassane Alla
94
Voted
DEDS
1998
152views more  DEDS 1998»
14 years 9 months ago
Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
In this paper, timed Petri nets are used to model and control hybrid systems. Petri nets are used instead of finite automata primarily because of the advantages they offer in de...
Xenofon D. Koutsoukos, Kevin X. He, Michael D. Lem...
ENASE
2009
179views Hardware» more  ENASE 2009»
14 years 7 months ago
Evolving System's Modeling and Simulation through Reflective Petri Nets
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
Lorenzo Capra, Walter Cazzola