Sciweavers

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

32

IFM
2000
Springer

favoriteEmaildiscussreport

111views Formal Methods» more IFM 2000»

A Concurrent and Compositional Petri Net Semantics of Preemption

14 years 2 months ago

A Concurrent and Compositional Petri Net Semantics of Preemption

Download hal.archives-ouvertes.fr

Hanna Klaudel, Franck Pommereau

Real-time Traffic

Formal Methods | IFM 2000 |

claim paper

Related Content

» A Class of Composable and Preemptible Highlevel Petri Nets with an Application to MultiTas...

» Causal Semantics of Algebraic Petri Nets distinguishing Concurrency and Synchronicity

» Synchronous Concurrent Sequential Earlier than Not later than

» Independence and Concurrent Separation Logic

» Compositional Modeling of Reactive Systems Using Open Nets

» Factorization Properties of Symbolic Unfoldings of Colored Petri Nets

» ObjectOriented Modelling with HighLevel Modular Petri Nets

» Two Algebraic Process Semantics for Contextual Nets

» A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules

Post Info
More Details (n/a)

Added	25 Aug 2010
Updated	25 Aug 2010
Type	Conference
Year	2000
Where	IFM
Authors	Hanna Klaudel, Franck Pommereau

Comments (0)