ACSD 2007 | Sciweavers

29

ACSD
2007
IEEE

88views Hardware» more ACSD 2007»

Testing the executability of scenarios in general inhibitor nets

14 years 5 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 »

47

click to vote

ACSD
2007
IEEE

103views Hardware» more ACSD 2007»

Output-Determinacy and Asynchronous Circuit Synthesis

14 years 5 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 »

22

click to vote

ACSD
2007
IEEE

97views Hardware» more ACSD 2007»

Towards Hilbertian Formal Methods

14 years 5 months ago