Search Sciweavers | Sciweavers

100 search results - page 3 / 20

» On the Semantics of Place Transition Nets

click to vote

ENTCS
2002

103views more ENTCS 2002»

Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)

13 years 7 months ago

Download www.liafa.jussieu.fr

Petri nets where, to my knowledge, the first theoretical model augmented with time constraints [Mer74], and the support of the first reachability algorithm of timed system [BM83, ...

Marc Boyer

claim paper

Read More »

click to vote

CORR
2011
Springer

195views Education» more CORR 2011»

Abstract Processes of Place/Transition Systems

13 years 2 months ago

Download www.cse.unsw.edu.au

Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...

Rob J. van Glabbeek, Ursula Goltz, Jens-Wolfhard S...

claim paper

Read More »

click to vote

BPM
2008
Springer

112views Business» more BPM 2008»

Covering Places and Transitions in Open Nets

13 years 9 months ago

Download www2.informatik.hu-berlin.de

We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (i.e. is not d...

Christian Stahl, Karsten Wolf

claim paper

Read More »

click to vote

APN
2007
Springer

139views Artificial Intelligence» more APN 2007»

Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets

14 years 1 months ago