Search Sciweavers | Sciweavers

189 search results - page 13 / 38

» The unfolding of general Petri nets

148

click to vote

ACSD
2007
IEEE

88views Hardware» more ACSD 2007»

Testing the executability of scenarios in general inhibitor nets

16 years 12 days 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 »

149

click to vote

APN
2006
Springer

92views Artificial Intelligence» more APN 2006»

On the Construction of Pullbacks for Safe Petri Nets

15 years 9 months ago

Download www.irisa.fr

The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...

Eric Fabre

claim paper

Read More »

109

click to vote

APN
2001
Springer

105views Artificial Intelligence» more APN 2001»

Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets

15 years 10 months ago

Download www.letu.edu

Marian V. Iordache, Panos J. Antsaklis

claim paper