Sciweavers

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

7

BIOSTEC
2008

favoriteEmaildiscussreport

98views Healthcare» more BIOSTEC 2008»

Describing Cryptobiosis as a Time Based Protection System Using Petri Nets

13 years 5 months ago

Describing Cryptobiosis as a Time Based Protection System Using Petri Nets

Download www.bth.se

Bengt Carlsson, K. Ingemar Jönsson, Keith L.

Real-time Traffic

BIOSTEC 2008 | Healthcare |

claim paper

Related Content

» Modeling and Execution of Complex Attack Scenarios using Interval Timed Colored Petri Nets

» Timed Petri Nets in Hybrid Systems Stability and Supervisory Control

» ContextAware Digital Documents Described in a HighLevel Petri NetBased Hypermedia System

» Petri NetBased Cooperation In MultiAgent Systems

» Cluster Grid based Responsetime analysis module for the PIPE Tool

» Using petri nets to specify and execute missions for autonomous underwater vehicles

» Reachability Set Generation for Petri Nets Can Brute Force Be Smart

» A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms

» A structural approach to quasistatic schedulability analysis of communicating concurrent p...

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2008
Where	BIOSTEC
Authors	Bengt Carlsson, K. Ingemar Jönsson, Keith L. Clark

Comments (0)