Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CAV
2010
Springer

favoriteEmaildiscussreport

207views Hardware» more CAV 2010»

Petruchio: From Dynamic Networks to Nets

13 years 8 months ago

Petruchio: From Dynamic Networks to Nets

Download concurrency.informatik.uni-kl.de

We introduce Petruchio, a tool for computing Petri net translations of dynamic networks. To cater for unbounded architectures beyond the capabilities of existing implementations, the principle ﬁxedpoint engine runs interleaved with coverability queries. We discuss algorithmic enhancements and provide experimental evidence that Petruchio copes with models of reasonable size.

Roland Meyer, Tim Strazny

Real-time Traffic

CAV 2010 | Hardware | Petri Net Translations | Petruchio Copes | Principle ﬁxedpoint Engine |

claim paper

Related Content

» Dynamic adaptability with NET service components

» Semantic Sensor Net An Extensible Framework

» Emulating Opportunistic Networks with KauNet Triggers

» LiveNet Using Passive Monitoring to Reconstruct Sensor Network Dynamics

» ProtNet a tool for stochastic simulations of protein interaction networks dynamics

» Netprobe a fast and scalable system for fraud detection in online auction networks

» Spectral Decomposition of Signaling Networks

» Understanding the Tolerance of Dynamic Networks A RoutingOriented Approach

» Spoken language interpretation On the use of dynamic Bayesian networks for semantic compos...

Post Info
More Details (n/a)

Added	15 Aug 2010
Updated	15 Aug 2010
Type	Conference
Year	2010
Where	CAV
Authors	Roland Meyer, Tim Strazny

Comments (0)