A new Petri net based formalism for specification, design andanalysis of real-time systems

摘要

Current Petri net based methods for modeling and design ofreal-time systems rely on formalisms that are either expressive oranalyzable, but not both. Our goal is to provide a new formalismbridging the gap between these positions. We start from a well knownresult on timed marked graphs, extend it to more general nets, andenhance the resulting formalism expressiveness by means of a set oftransition expansion rules, which also enable hierarchical netstructuring. A detailed example is discussed