ACSD 2007 | Sciweavers

13

ACSD
2007
IEEE

88views Hardware» more ACSD 2007»

Testing the executability of scenarios in general inhibitor nets

13 years 11 months ago

Download www.informatik.ku-eichstaett.de

In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratiﬁed order structures (LSOs) and present a po...

Robert Lorenz, Sebastian Mauser, Robin Bergenthum

claim paper

Read More »

18

click to vote

ACSD
2007
IEEE

103views Hardware» more ACSD 2007»

Output-Determinacy and Asynchronous Circuit Synthesis

13 years 11 months ago

Download homepages.cs.ncl.ac.uk

Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...

Victor Khomenko, Mark Schäfer, Walter Vogler

claim paper

Read More »

4

click to vote

ACSD
2007
IEEE

97views Hardware» more ACSD 2007»

Towards Hilbertian Formal Methods

13 years 11 months ago