Find:

Searching for PHRASE petri net.

Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
3447 documents found. Only retrieving 250 documents (System busy - maximum reduced). Retrieving documents... Order: number of citations.

Detecting Causal Relationships in Distributed Computations.. - Schwarz, Mattern (1994)   (Correct)   (105 citations)
deal with conflicts, as is common practice in Petri net theory or related concurrency theories [51, 56,
advocated since a long time by the theory of Petri nets [59]is now also shared by most researchers
www.isa.informatik.tu-darmstadt.de/VS/Publikationen/papers/holygrail.ps

An Improvement of McMillan's Unfolding Algorithm - Esparza, Römer, Vogler (1996)   (Correct)   (89 citations)
of systems modelled with finite-state Petri nets. The technique requires to construct a finite
of systems modelled with finite-state Petri nets. The technique is based on the concept of net
flop.informatik.tu-muenchen.de/pub/theory/esparza/ImpUnfolding.ps.gz

Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The.. - Buck (1993)   (Correct)   (70 citations)
between these techniques and those used in Petri net analysis, as well as in the theory of certain
5 1.2 Graphical Models Of Computation 7 1.2.1 Petri Nets 7 1.2.2 Analysis Of Petri Nets 9 1.2.3 The
tco11.thomson-csf.fr/ptolemy/papers/tokenFlowThesis.ps.Z

Parallel and Distributed Simulation of Discrete Event Systems - Ferscha, Tripathi (1996)   (Correct)   (45 citations)
is produced. The system is modelled in terms of a Petri net (PN)transition t 1 models the preprocessing
2: A Sample Simulation Model described as Timed Petri Net the other one -t 4 and t 5 are said to be
www.disi.unige.it/ftp/person/ChiolaG/distr_sim_tuto.ps.gz

A Characterization of the Stochastic Process Underlying.. - Ciardo, German.. (1994)   (Correct)   (38 citations)
of the stochastic process underlying a stochastic Petri net Gianfranco Ciardo Reinhard German y
lind@cs.tu-berlin.de Abstract Stochastic Petri nets (SPNs) with generally distributed firing times
www.cs.wm.edu/~ciardo/Wpubs/1993character.ps

Extended Markovian Process Algebra - Bernardo, Gorrieri (1996)   (Correct)   (38 citations)
considered is that of generalized stochastic Petri nets (GSPNs) 1]where a zero or exponentially
on two different projected models (a classical Petri net and a Markov chain) obtained from the same
www.cs.unibo.it/~gorrieri/Papers/concur96.ps.gz

Chu Spaces: A Model Of Concurrency - Gupta (1994)   (Correct)   (36 citations)
: 6 2.1.1 Petri nets :
with other models 71 7.1 Event Structures and Petri nets :71
boole.stanford.edu/pub/gupthes.ps.gz

An Algebraic Semantics of Basic Message Sequence Charts - Mauw, Reniers (1994)   (Correct)   (34 citations)
approaches based on automaton theory [10]Petri net theory [5] and on process algebra [4, 12]None
Grabowski, P. Graubmann and E. Rudolph. Towards a petri net based semantics definition for Message
ftp.cwi.nl/pub/michelr/ComputerJournal94-vol37-nr4.ps.Z

From Coloured Petri Nets to Object Petri Nets - Lakos (1995)   (Correct)   (34 citations)
From Coloured Petri Nets to Object Petri Nets Charles Lakos, Computer
From Coloured Petri Nets to Object Petri Nets Charles Lakos, Computer Science Department,
nswt.tuwien.ac.at/se/design/papers/fm-c-to-opetri.ps

Stability And Robustness For Hybrid Systems - Pettersson, Lennartson (1996)   (Correct)   (29 citations)
m is the discrete marking vector in a discrete Petri net [13]Each f(Delta m i )is called a
Lennartson. Hybrid modelling focused on hybrid Petri nets. In 2nd European Workshop on Real-time and
www.s2.chalmers.se/~stp/CDC_96.ps

Bounded Delay Timing Analysis of a Class of CSP Programs with.. - Hulgaard, Burns (1994)   (Correct)   (29 citations)
Such a CSP program is transformed into a safe Petri net. Interval time delays are specified on the
of CSP programs, that are then transformed into Petri nets, to describe such systems. Others have
the CSP specification into a live and safe Petri net. Petri net transitions are used to model communication
www.it.dtu.dk/~henrik/papers/async94.ps.gz

Reset Nets Between Decidability and Undecidability - Dufourd, Finkel, Schnoebelen (1998)   (Correct)   (23 citations)
De Cachan &Cnrs Ura 2236. Abstract. We Study Petri Nets With Reset Arcs (also Transfer And Doubling
in combination with other extensions of the basic Petri net model. While Reachability is undecidable in all
www.lsv.ens-cachan.fr/Publis/PAPERS/DFS-icalp98.ps

New Results for the Analysis of Deterministic and Stochastic.. - German (1995)   (Correct)   (22 citations)
for the Analysis of Deterministic and Stochastic Petri Nets Reinhard German Technische Universitat Berlin
transient and stationary analysis of stochastic Petri nets with exponentially distributed and
pdv.cs.tu-berlin.de/~rge/papers/ipds95.ps.gz

The PEP Tool - Grahlmann (1997)   (Correct)   (22 citations)
language, and that the PEP system then generates Petri nets from such programs in order to use Petri net
Petri nets from such programs in order to use Petri net theory for simulation and verification
www.informatik.uni-hildesheim.de/~pep/FTP/PEP_CAV97.ps.gz

Performance Prediction in Production Environments - Schopf, Berman (1998)   (Correct)   (17 citations)
values as defined here are not related to Petri net models [MBC84, Mol90]often called "stochastic
Molloy. Performance analysis using stochastic petri nets. IEEE Transactions on Parallel and Distributed
www.cs.ucsd.edu/users/jenny/TechReports/TR.CS97-558.ps

A Unified Signal Transition Graph Model for Asynchronous.. - Yakovlev, Lavagno, al. (1995)   (Correct)   (15 citations)
them Signal Transition Graphs (STGs) based on Petri nets as an underlying formalism, have captured wide
used by Chu in [5]For example Chu required the Petri net underlying the STG to be safe, live and
www-cad.eecs.berkeley.edu/~luciano/publications/tr/UCB-ERL-92-78.ps.gz

First 20 documents  Next 20

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC