Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Jeremy T. Bradley, Nicholas J. Dingle, Peter G. Harrison, William J. Knottenbelt |
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 62-71, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Didier Lime, Olivier H. Roux |
State class timed automaton of a time Petri net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 124-133, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giuliana Franceschinis, Valeria Vittorini, Stefano Marrone 0001, Nicola Mazzocca |
SWN client-server composition operators in the OsMoSys framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 52-61, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Andrew S. Miner |
Computing response time distributions using stochastic Petri nets and matrix diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 10-19, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard German, Marco Gribaudo, Gábor Horváth 0002, Miklós Telek |
Stationary analysis of FSPNs with mutually dependent discrete and continuous parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 30-39, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Armin Heindl, Ernst W. Biersack |
Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems: a comparative case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 40-49, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Balbo, Steven C. Bruell, Matteo Sereno |
On the relations between BCMP queueing networks and product form solution stochastic petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 103-112, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Simona Bernardi 0001, Susanna Donatelli |
Building Petri net scenarios for dependable automation systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 72-81, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Sereno |
Computational algorithms for product-form of competing Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 93-102, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![IEEE Computer Society, 0-7695-1976-8 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Kent Vander Velden, Jean Peccoud |
Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 2-8, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Haar |
Distributed semi-Markov processes in stochastic T-timed Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 114-123, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Falko Bause |
On non-ergodic infinite-state stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 84-92, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Clément Delamare, Yvon Gardan, Patrice Moreaux |
Performance evaluation with asynchronously decomposable SWN: implementation and case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 20-29, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Giacomo Bucci, Luigi Sassoli, Enrico Vicario |
A discrete time model for performance evaluation and correctness verification of real time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003, pp. 134-143, 2003, IEEE Computer Society, 0-7695-1976-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hermenegilda Macià, Valentín Valero, David de Frutos-Escrig |
sPBC: A Markovian Extension of Finite Petri box calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 207-216, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dietmar Tutsch, Joachim Sokol |
Petri Net based Performance Evaluation of USAIA's Bandwidth Partitioning for the Wireless Cell Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 49-58, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale |
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 29-38, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giuliana Franceschinis, Claudio Bertoncello, Guido Bruno, Giorgio Lungo Vaschetti, Antonio Pigozzi |
SWN Models of a Contact Center: a Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 39-48, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001 |
Equivalence and Aggregation of GSPNs with Labeled Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 187-196, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Balbo, Steven C. Bruell, Matteo Sereno |
Embedded Processes in Generalized Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 71-80, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daniel D. Deavours, William H. Sanders |
Möbius: Framework and Atomic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 251-260, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster |
The Möbius Modeling Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 241-250, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marco Ajmone Marsan, Marco Gribaudo, Michela Meo, Matteo Sereno |
On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 19-28, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard German, Boudewijn R. Haverkort (eds.) |
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![IEEE Computer Society, 0-7695-1248-8 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Bruno Tuffin, Louis-Marie Le Ny |
Modeling and Analysis of Threshold Queues with Hysteresis using Stochastic Petri Nets: the Monoclass Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 175-184, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lisa Wells, Søren Christensen, Lars Michael Kristensen, Kjeld Høyer Mortensen |
Simulation Based Performance Analysis of Web Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 59-68, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Chiola, Rubén Carvajal-Schiaffino |
A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 113-122, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrew S. Miner |
Efficient Solution of GSPNs using canonical Matrix Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 101-110, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | András Horváth, Miklós Telek |
Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 155-164, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jörn Freiheit, Armin Zimmermann |
A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 91-100, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez |
A Comparison of the Expressiveness of SPA and Bounded SPN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 197-206, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Simona Bernardi 0001, Gianfranco Balbo |
Concurrent Generalized Petri Nets: Regenerative Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 125-134, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo |
What a Structural World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 3-16, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marc Boyer, Michel Diaz |
Multiple Enabledness of Transitions in Petri Nets with Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 219-228, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, András Horváth |
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 145-154, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Rob Jones, Gianfranco Ciardo |
On Phased Delay Stochastic Petri Nets: Definition and an Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 165-174, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette |
Reachability and Temporal Conflicts in t-Time Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 229-238, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daniel D. Deavours, William H. Sanders |
The Möbius Execution Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 135-144, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001, Peter Kemper |
Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001, pp. 81-90, 2001, IEEE Computer Society, 0-7695-1248-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Marco Ajmone Marsan, Michela Meo, Matteo Sereno |
GSPN analysis of dual-band mobile telephony networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 54-63, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard German, Miklós Telek |
Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 64-73, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marc Boyer, Michel Diaz |
Non equivalence between time Petri nets and time stream Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 198-207, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fernando García-Vallés, José Manuel Colom |
Implicit places in net systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 104-113, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Sachin Garg, Marco Gribaudo, András Horváth, Matteo Sereno, Miklós Telek |
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 82-91, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Daniel D. Deavours, William H. Sanders |
An efficient well-specified check. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 124-133, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Carlos J. Perez-Jimenez, Javier Campos |
On state space decomposition for the numerical analysis of stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 32-41, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Edouard Wagneur, Isabel Demongodin |
On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 179-186, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Valentín Valero Ruiz, David de Frutos-Escrig, Fernando Cuartero Gómez |
On non-decidability of reachability for timed-arc Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 188-196, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Gaubert, Jean Mairesse |
Asymptotic analysis of heaps of pieces and application to timed Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 158-169, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale |
Exploiting Petri nets to support fault tree based dependability analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 146-155, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Lahaye, Jean-Louis Boimond, Laurent Hardouin |
Optimal control of (min, +) linear time-varying systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 170-178, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard German, Armin Heindl |
Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 44-53, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle |
Scenario durations characterization of t-timed Petri nets using linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 208-217, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kemper |
A mapping of autonomous net condition event systems to GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 136-145, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | William H. Sanders |
Integrated frameworks for multi-level and multi-formalism modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 2-9, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Xuandong Li, Johan Lilius |
Checking time Petri nets for linear duration properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 218-227, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz M. Zuberek |
Stepwise refinements of net models and their place invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 92-101, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Boudewijn R. Haverkort, Alexander Bell, Henrik C. Bohnenkamp |
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 12-21, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Enrique Teruel, Giuliana Franceschinis, Massimiliano De Pierro |
Clarifying the priority specification of GSPN: Detached priorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 114-123, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![IEEE Computer Society, 0-7695-0331-4 The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Marco Gribaudo, Matteo Sereno, Andrea Bobbio |
Fluid stochastic Petri nets: An extended formalism to include non-Markovian models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 74-81, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo, Andrew S. Miner |
A data structure for the efficient Kronecker solution of GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999, pp. 22-31, 1999, IEEE Computer Society, 0-7695-0331-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gribaudo, Matteo Sereno |
GSPN semantics for queueing networks with blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 26-35, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gianfranco Ciardo, David M. Nicol, Kishor S. Trivedi |
Discrete-event simulation of fluid stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 217-225, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | N. Segent |
Performance evaluation of a consensus algorithm with Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 143-152, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchholz 0001 |
Hierarchical structuring of superposed GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 81-90, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Susann C. Allmaier, Markus Kowarschik, Graham Horton |
State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 112-121, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | René David |
Modeling of hybrid systems using continuous and hybrid Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 47-58, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Proth |
Petri nets for modelling and evaluating deterministic and stochastic manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 2-14, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marco Ajmone Marsan, Khalid Begain, Rossano Gaeta, Miklós Telek |
GSPN analysis of ABR in ATM LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 227-236, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marco Ajmone Marsan, Rossano Gaeta |
GSPN models of ATM switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 237-246, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 183-192, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Falko Bause, Peter Buchholz 0001 |
Aggregation and disaggregation in product form queueing Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 16-25, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alois Ferscha, Michael Richter |
Time Warp simulation of timed Petri nets: sensitivity of adaptive methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 205-216, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![IEEE Computer Society, 0-8186-7931-X The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Boudewijn R. Haverkort, Alexander Ost |
Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 36-45, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Armin Heindl, Reinhard German |
A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 60-69, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Javier Campos, Manuel Silva Suárez, Susanna Donatelli |
Structured solution of stochastic DSSP systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 91-100, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Daniel D. Deavours, William H. Sanders |
"On-the-fly" solution techniques for stochastic Petri nets and extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 132-141, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter J. Haas |
Estimation methods for stochastic Petri nets based on standardized time series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 194-204, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | R. Govindarajan, F. Suciu, Wlodek M. Zuberek |
Timed Petri net models of multithreaded multiprocessor architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 153-162, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Marenzoni, Stefano Caselli, Gianni Conte |
Analysis of large GSPN models: a distributed solution tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 122-131, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti |
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 163-172, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sergio Palazzo, Antonio Puliafito, Marco Scarpa |
Reliability analysis of a redundant database for UMTS systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 247-256, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Vassilis Mertsiotakis, Manuel Silva Suárez |
Throughput approximation of decision free processes using decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 174-182, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Antonio Puliafito, Miklós Telek |
New primitives for interlaced memory policies in Markov regenerative Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 70-79, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Kemper |
Transient analysis of superposed GSPNs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997, pp. 101-110, 1997, IEEE Computer Society, 0-8186-7931-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ed Brinksma |
Performance and formal design: a process algebraic perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 124-125, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Daniel D. Deavours, W. Douglas Obal II, Muhammad A. Qureshi, William H. Sanders, Aad P. A. van Moorsel |
UltraSAN version 3 overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 216-217, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Cubaud |
Performance evaluation of non-Markovian stochastic event graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 94-102, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Claude Laprie, Mohamed Kaâniche, Karama Kanoun |
Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 221-230, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bobbio, Vidyadhar G. Kulkarni, Antonio Puliafito, Miklós Telek, Kishor S. Trivedi |
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 113-122, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Sereno |
Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 42-51, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David M. Nicol, Andrew S. Miner |
The fluid stochastic Petri net simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 214-215, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![IEEE Computer Society, 0-8186-7210-2 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
1 | Gianfranco Ciardo, Ludmila Cherkasova, Vadim E. Kotov, Tomas Rokicki |
Modeling a scalable high-speed interconnect with stochastic Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 83-92, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rossano Gaeta, Giovanni Chiola |
Efficient simulation of SWN models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 137-146, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marco A. Escalante, Nikitas J. Dimopoulos, Dilyan Gyuroff, Hausi A. Müller |
Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 232-240, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Marina Ribaudo |
Stochastic Petri net semantics for stochastic process algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNPM ![In: Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995, pp. 148-157, 1995, IEEE Computer Society, 0-8186-7210-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|