LorePath
  • Browse
  • ·FAQ
Back to Results

Magical Tome

Cover of Applications and theory of Petri nets 2004
First published
2004
Publisher
Springer London, Limited
Pages
505 pages
ISBN
9783540277934

Applications and theory of Petri nets 2004

The outer archives are busy

by Jordi Cortadella, Wolfgang Reisig

About this book

Non-interference has been defined in the literature as an extensional property based on some observational semantics: the high part of a system does not interfere with the low part if whatever is done at the high level produces the visible effect on the low part of the system.

Match Score

Create a free account to see Match Scores on books the community has marked — once you’ve set your preferences.

Create free account

Marks of the Realm

Marks left by readers of this tome

No community marks yet — be the first to inscribe this tome.

Pacing

—out of 5

Horror / Dark Elements

—out of 5

Romance

—out of 5

Spice Level

—out of 5

LGBTQ+ Representation

—out of 5

Social & Political Themes in Stories

—out of 5

Inscribe Your Rating

Mark this tome across each content category