For the most recent entries see the
Petri Nets Newsletter.
Keyword: stochastic petri nets
-
Tarasyuk, Igor V.:
Stochastic Petri box calculus with discrete time.
2007.
-
Buchholz, Peter;
Tarasyuk, Igor Valerievich:
Equivalences for stochastic Petri nets and stochastic process algebras.
2006.
-
Tarasyuk, Igor V.:
Iteration in discrete time stochastic Petri box calculus.
2006.
-
Shi, Lei;
Han, Ying-Jie;
Ding, Xiao-Guang;
Wei, Lin;
Gu, Zhi-Min:
An SPN-Based Integrated Model for Web Prefetching and Caching.
2006.
-
Phanse, Kaustubh S.;
Bhat, Aniket;
DaSilva, Luiz A.:
Modeling and Evaluation of a Policy Provisioning Architecture for Mobile Ad-Hoc Networks.
2006.
-
Tarasyuk, Igor Valerievich:
Discrete time stochastic Petri box calculus.
2005.
-
Tarasyuk, Igor V.:
Logical characterization of probabilistic t-bisimulation equivalences.
2004.
-
Haas, Peter J.:
Modeling and simulation with stochastic Petri nets.
2004.
-
Maciá, Hermenegilda;
Valero, Valentín;
Cazorla, Diego;
Cuartero, Fernando:
Introducing the Iteration in sPBC.
2004.
-
Slovák, R.;
Drewes, J.;
Schnieder, E.:
Safety Requirements Parameter Derivation for Level Crossing Control Systems in Consideration of Traffic Dynamics using Stochastic Petri Nets.
2004.
-
Teruel, Enrique;
Franceschinis, Giuliana;
de Pierro, Massimiliano:
Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities.
2003.
-
Macià, Hermenegilda;
Valero, Valentín;
Cuartero, Fernando;
Pelayo, Fernando L.:
A New Synchronization in Finite Stochastic Petri Box Calculus.
2003.
-
Merseguer, José;
Campos, Javier;
Mena, Eduardo:
Analysing internet software retrieval systems: modeling and performance comparison.
2003.
-
Deavours, D. D.;
Clark, G.;
Courtney, T.;
Daly, D.;
Derisavi, S.;
Doyle, J. M.;
Sanders, W. H.;
Webster, P. G.:
The Möbius Framework and Its Implementation.
2002.
-
Lin, Chuang;
Qu, Yang;
Ren, Fengyuan;
Marinescu, Dan C.:
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models.
2002.
-
Le Ny, Louis-Marie;
Tuffin, Bruno:
Modeling and Analysis of Multi-class Threshold-Based Queues with Hysteresis Using Stochastic Petri Nets.
2002.
-
Gregorio, J. A.;
Beivide, R.;
Vallejo, F.:
Modeling of interconnection subsystems for massively parallel computers.
2002.
-
Gregorio, J. A.;
Beivide, R.;
Vallejo., F:
Modeling of interconnection subsystems for massively parallel computers.
2002.
-
Buchholz, Peter;
Tarasyuk, Igor V.:
Net and algebraic approaches to probabilistic modeling.
2001.
-
Caselli, S.;
Conte, G.;
Marenzoni, P.:
A distributed algorithm for GSPN reachability graph generation.
2001.
-
Ajmone Marsan, M.;
Neri, F.;
Scarpati Cioffari, C.;
Vasco, A.:
GSPN models of bridged LAN configurations.
2000.
-
Buchacker, K.:
Modeling with extended fault trees.
2000.
-
Capek, J.;
Hanzalek, Z.:
STPN model of physical and MAC layer of LonWorks.
2000.
-
Ciardo, G.;
Miner, A.S.:
Structural approaches for SPN analysis.
2000.
-
Dehnert, J.;
Freiheit, J.;
Zimmermann, A.:
Workflow modeling and performance evaluation with colored stochastic Petri nets.
2000.
-
German, R.:
Iterative analysis of Markov regenerative models.
2000.
-
Haverkort, B.R.;
Hermanns, H.;
Katoen, J.-P.:
On the use of model checking techniques for dependability evaluation.
2000.
-
Jeng, M.-D.;
Xie, X.;
Hung, W.Y.:
Markovian timed nets for performance analysis of semiconductor manufacturing systems.
2000.
-
Kieckhafer, R.M.;
Azadmanesh, M.H.;
Hui, Y.:
On the sensitivity on NMR unreliability to non-exponential repair distributions.
2000.
-
Kluge, O.;
Hommel, G.:
Message sequence chart specification with time and their representation as stochastic Petri nets.
2000.
-
Lin, C.L.;
Sheng, L.;
Wu, J.;
Xu, M.:
An integrative scheme of differentiated services: modeling and performance analysis.
2000.
-
Lopez-Benitez, N.:
Petri net based performance evaluation of distributed heterogeneous task systems.
2000.
-
Madalinski, A.;
Bystrov, A.;
Yakovlev, A.:
Statistical fairness of ordered arbiters.
2000.
-
Nakada, K.;
Yoneyama, T.:
A method to abstract a stochastic Petri net.
2000.
-
Qiu, Qinru;
Wu, Qing;
Pedram, Massoud:
Dynamic power management of complex systems using generalized stochastic Petri nets.
2000.
-
Raghavan, N.R.S.:
Performance analysis and design of supply chains: a Petri net approach.
2000.
-
Rana, O.;
Shields, M.;
Jones, A.C.:
Analyzing Java execution semantics using stochastic Petri nets.
2000.
-
Rana, Omer F.;
Shields, Matthew S.:
Performance analysis of Java using Petri nets.
2000.
-
Rongier, P.;
Liegeois, A.;
Simonin, O.:
Markovian analysis of a heterogeneous system: application to a cooperation task for multiple consumer robots.
2000.
-
Sheldon, F.T.;
Greiner, S.;
Benzinger, M.:
Specification, safety and reliability analysis using stochastic Petri net models.
2000.
-
Tuffin, Bruno;
Trivedi, Kishor S.:
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.
2000.
-
Wang, D.-C.;
Chen, I.-R.;
Chu, C.-P.:
Analyzing reconfigurable algorithms for managing replicated data with strict consistency requirements: a case study.
2000.
-
Zimmermann, A.;
Freiheit, J.;
German, R.;
Hommel, G.:
Petri net modeling and performability evaluation with TimeNET 3.0.
2000.
-
Buchholz, Peter;
Tarasyuk, Igor V.:
A class of stochastic Petri nets with step semantics and related equivalence notions.
2000.
-
Chen, Ing-Ray;
Wang, Ding-Chau;
Chu, Chih-Ping:
Response time behavior of distributed voting algorithms for managing replicated data.
2000.
-
Ajmone Marsan, M.;
Meo, M.;
Sereno, M.:
GSPN analysis of dual-band mobile telephony networks.
1999.
-
Becker, M.;
Szczerbicka, H.:
PNiQ: integration of queueing networks in generalized stochastic Petri nets.
1999.
-
Benazzouz, D.;
Farah, A.:
Performance of an unbuffered beta model using stochastic Petri nets.
1999.
-
Bobbio, Andrea;
Franceschinis, Giuliana;
Gaeta, Rossano;
Portinale, Luigi:
Exploiting Petri nets to support fault tree based dependability analysis.
1999.
-
Bondavalli, A.;
Mura, I.;
Trivedi, K.S.:
Dependability modeling and sensitivity analysis of scheduled maintenance system.
1999.
-
Ciardo, G.;
Li, G.:
Approximate transient analysis for subclasses of deterministic and stochastic Petri nets.
1999.
-
Ciardo, G.;
Miner, A.S.:
A data structure for the efficient Kronecker solution of GSPNs.
1999.
-
de Meer, H.;
Duesterhoeft, O.-R.;
Fischer, S.:
COSTPN for modeling and control of telecommunication systems.
1999.
-
Deavours, D.D.;
Sanders, W.H.:
An efficient well-specified check.
1999.
-
Fota, N.;
Kaaniche, M.;
Kanoun, K.:
Dependability evaluation of an air traffic control computing system.
1999.
-
German, R.;
Heindl, A.:
Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets.
1999.
-
Haas, Peter J.:
Estimation Methods for Non-Regenerative Stochastic Petri Nets.
1999.
-
Haverkort, B.R.:
Performance evaluation of polling-based communication systems using SPNs.
1999.
-
Haverkort, B.R.;
Bell, A.;
Bohnenkamp, H.C.:
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets.
1999.
-
Haverkort, B.R.;
Idzenga, H.P.:
Structural decomposition and serial solution of SPN models of the ATM GAUSS switch.
1999.
-
Jaing, Z.;
Zao, M.J.;
Fung, R.Y.K.:
Stochastic object-oriented Petri nets (SOPNs) for reliability modeling of manufacturing systems.
1999.
-
Kanoun, K.;
Borrel, M.;
Morteveille, T.;
Peytavin, A.:
Availability of CAUTRA, a subset of the French Air Traffic Control system.
1999.
-
Limam, S.;
Ladet, P.:
Towards a communicating petri net tool for modeling production systems.
1999.
-
Lin, M.-H.;
Fu, L.-C.:
Modeling, analysis, simulation and control of semiconductor manufacturing systems: a generalized stochastic colored timed Petri net approach.
1999.
-
Lindemann, C.;
Reuys, A.;
Thuemmler, A.:
The DSPNexpress 2.000 performance and dependability modeling environment.
1999.
-
Lindemann, C.;
Thummler, A.:
Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions.
1999.
-
Lopez-Benitez, N.;
Hyon, J.-Y.:
Simulation of task graph systems in heterogeneous computing environments.
1999.
-
Moore, K.E.;
Gupta, S.M.:
Stochastic colored Petri net (SCPN) models of traditional and flexible kanban systems.
1999.
-
Perez-Jimenez, C.J.;
Campos, J.:
On state space decomposition for the numerical analysis of stochastic Petri nets.
1999.
-
Rabah, M.;
Kanoun, K.:
Dependability evaluation of a distributed shared memory multiprocessor system.
1999.
-
Ramesh, A.V.;
Twigg, D.W.;
Sandadi, U.R.;
Sharma, T.C.;
Trivedi, K.S.;
Somani, A.K.:
An integrated reliability modeling environment.
1999.
-
Rana, O.F.:
A design and management framework for mobile agent systems.
1999.
-
Rongier, P.;
Liegeois, A.:
Analysis and prediction of the behavior of one class of multiple foraging robots with the help of stochastic Petri nets.
1999.
-
Simeu-Abazi, Z.;
Sassine, C.:
Maintenance integration in manufacturing systems by using stochastic Petri nets.
1999.
-
Teruel, E.;
Franceschinis, G.;
De Pierro, M.:
Clarifying the priority specification of GSPN: detached priorities.
1999.
-
Tombuyses, B.:
Automatic construction of Markov transition matrices under state and functional dependences.
1999.
-
Tombuyses, B.:
Reduction of the Markovian system by the influence graph method - error bound and reliability computation.
1999.
-
Wang, J.;
Zhou, MengChu;
Deng, Y.:
Throughput analysis of discrete event systems based on stochastic Petri nets.
1999.
-
Yoon, H.J.;
Lee, D.Y.:
Real-time scheduling of wafer fabrication with multiple types.
1999.
-
Zimmermann, A.;
Hommel, G.:
Modelling and evaluation of manufacturing systems using dedicated Petri nets.
1999.
-
Wang, Jiacun;
Zhou, MengChu;
Deng, Yi:
Modeling and throughput analysis of discrete event systems based on stochastic Petri nets.
1999.
-
Ajmone Marsan, M.;
Bobbio, A.;
Donatelli, S.:
Petri Nets in Performance Analysis: An Introduction.
1998.
-
Ajmone Marsan, M.;
Gaeta, R.:
Modeling ATM systems with GSPNs and SWNs.
1998.
-
Bause, F.;
Buchholz, P.:
Queueing Petri nets with product form solution.
1998.
-
Becker, M.;
Szczerbicka, H.:
Modeling and optimization of kanban controlled manufacturing systems with GSPN including QN.
1998.
-
Benazzouz, D.;
Farah, A.:
The use of Petri nets in the performance evaluation of shuffle-exchange network under uniform traffic distribution.
1998.
-
Bernardo, M.;
Donatiello, L.;
Gorrieri, R.:
A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems.
1998.
-
Bobbio, A.;
Telek, M.:
Non-exponential stochastic Petri nets: an overview of methods and techniques.
1998.
-
Bodennec, C.;
Jourdain, C.;
Mazuet, C.;
Garnier, R.;
Perez, D.:
Dependability of safety critical systems: complementarity of probabilistic and formal methods.
1998.
-
Boucherie, R.J.;
Sereno, M.:
On closed support T-invariants and the traffic equations.
1998.
-
Buchholz, P.;
Kemper, P.:
On generating a hierarchy for GSPN analysis.
1998.
-
Chang, W.-T.;
Tseng, C.-C.;
Chou, W.-K.:
Petri net based analysis on object assignment in distributed object-oriented systems.
1998.
-
Ciardo, G.;
Li, G.:
Efficient approximate transient analysis for a class of deterministic and stochastic Petri nets.
1998.
-
Deavours, D.D.;
Sanders, W.H.:
`On-the-fly' solution techniques for stochastic Petri nets and extensions.
1998.
-
Donatelli, S.;
Haddad, S.;
Moreaux, P.:
Structured characterization of the Markov chain of phase-type SPN.
1998.
-
El Mhamedi, A.;
Vernadat, F.:
The ACNOS approach for performance evaluation of enterprise processes and activities.
1998.
-
Franceschinis, G.;
Fumagalli, A.;
Grasso, R.:
Performance analysis of a WDM bus network based on GSPN models.
1998.
-
Franceschinis, G.;
Ribaudo, M.:
Efficient Performance Analysis Techniques for Stochastic Well-formed Nets and Stochastic Process Algebras.
1998.
-
Fricks, R.M.;
Puliafito, A.;
Telek, M.;
Trivedi, K.:
Applications of non-Markovian stochastic Petri nets.
1998.
-
Fricks, R.M.;
Puliafito, A.;
Trivedi, K.S.:
Perfromance analysis of distributed real-time databases.
1998.
-
Gaeta, R.;
Begain, K.;
Ajmone Marsan, M.:
Stop and Go ABR in ATM LANs: performance analysis with GSPNs.
1998.
-
Giloi, W.K.;
Lindemann, C.;
Pletner, S.:
Modeling node architecture.
1998.
-
Haddad, S.;
Moreaux, P.;
Chiola, G.:
Cox and phase-type distributions in stochastic Petri nets -- efficient derivation of solutions.
1998.
-
Jonkers, H.;
Janssen, W.;
Verschut, A.;
Wiestra, E.:
A unified framework for design and performance analysis of distributed systems.
1998.
-
Kant, L.;
Sanders, W.H.:
Performance analysis of the knockout switch under bursty traffic based on a stochastic activity network model.
1998.
-
Koriem, S.M.:
Fast and simple decomposition techniques for the reliability analysis of interconnection networks.
1998.
-
Laupera, F.G.;
Lasquo, M.M.;
Laupera, M.B.:
An algebraic approach to model complex sequencing problems.
1998.
-
Mazzeo, A.;
Mazzocca, N.;
Russo, S.;
Savy, C.;
Vittorini, V.:
Formal specification of concurrent systems: a structured approach.
1998.
-
Obal, W.D.;
Sanders, W.H.:
State-space support for path-based reward variables.
1998.
-
Ost, A.;
Haverkort, B.R.:
Analysis of windowing mechanisms with infinite-state stochastic Petri nets.
1998.
-
Puliafito, A.;
Scarpa, M;
Trivedi, K.S.:
Petri nets with K-simultaneously enable generally distributed timed transitions.
1998.
-
Scarpa, M.;
Bobbio, A.:
Kronecker representation of stochastic Petri nets with discrete PH distributions.
1998.
-
Wakefield, R.R.:
Application of extended stochastic Petri nets to simulation and modeling of construction systems.
1998.
-
Xue, Y.;
Kieckhafer, R.M.;
Choobineh, F.F.:
Automated construction of GSPN models for flexible manufacturing systems.
1998.
-
Ziegler, P.;
Szczerbicka, H.:
Performance and performability evaluation of FMS using GSPN.
1998.
-
Benzina, A.;
Paludetto, M.;
Delatour, J.:
About the suitability of Petri nets for describing, validating and evaluating SA-RT specifications.
1997.
-
Feng, D.;
Zhou, X.;
Jin, H.;
Zhang, J.:
Utilization of disk drives for RAID.
1997.
-
Kusumoto, Shinji;
Mizuno, Osamu;
Kikuno, Tohru;
Hirayama, Yuji;
Takagi, Yasunari;
Sakamoto, Keishi:
A new software project simulator based on generalized stochastic Petri nets.
1997.
-
McSpadden, A.R.;
Lopez-Benitez, N.:
Stochastic Petri nets applied to the performance evaluation of static task allocations in heterogeneous computing environments.
1997.
-
Penttinen, O.-M.;
Pyssysalo, T.;
Ojala, L.:
Performance analysis of adaptive video on demand using stochastic Petri nets.
1997.
-
Sereno, Matteo;
Balbo, Gianfranco:
Mean Value Analysis of Stochastic Petri Nets.
1997.
-
Mazzocca, N.;
Russo, S.;
Vittorini, V.:
Integrating trace logic and Petri net specifications.
1997.
-
Bause, Falko;
Kritzinger, Pieter:
Stochastic Petri Nets - An Introduction to the Theory.
1996.
-
Haas, P.J.:
Estimation Methods for Stochastic Petri Nets based on Standardized Time Series.
1996.
-
Fota, Nicolae;
Kaaniche, Mohamed;
Kanoun, Karama;
Peytavin, Alain:
Safety analysis and evaluation of an air traffic control computing system.
1996.
-
Qureshi, M. A.;
Sanders, W. H.:
The Effect of Workload on the Performance and Availability of Voting Algorithms.
1996.
-
Bobbio, Andrea;
Kulkarni, Vidyadhar G.;
Puliafito, Antonio;
Telek, Miklós;
Trivedi, Kishor S.:
Preemptive Repeat Indentical Transitions in Markow Regenerative Stochastic Petri Nets.
1995.
-
Chiola, G.;
Franceschinis, G.;
Gaeta, R.;
Ribaudo, M.:
GreatSPN-1.7 - graphical editor and analyzer for timed and stochastic Petri nets.
1995.
-
Chong, Y.-K.;
Hwang, K.:
Performance analysis of 4 memory consistency models for multithreaded multiprocessors.
1995.
-
Constantinescu, C.;
Trivedi, K.:
Dependability modeling of real-time systems using stochastic Petri nets.
1995.
-
German, R.;
Kelling, C.;
Zimmermann, A.;
Hommel, G.:
TimeNET - a toolkit for evaluating non-Markovian stochastic Petri nets.
1995.
-
Hu, G.H.;
Wong, Y.S.;
Loh, H.T.:
An FMS scheduling and control decision-support system based on generalized stochastic Petri nets.
1995.
-
Ivanov, N.N.:
Nonexponential timing stochastic Petri nets with limited history.
1995.
-
Ivanov, N.N.:
Temporal stochastic Petri nets with non-exponential distribution laws of the actuation time of transitions.
1995.
-
Jin, Q.;
Sugasawa, Y.:
Representation and analysis of behavior for multiprocess systems by using stochastic Petri nets.
1995.
-
Kavi, K.M.;
Sheldon, F.T.;
Shirazi, B.:
Reliability analysis of CSP specifications using Petri nets and Markov processes.
1995.
-
Kelling, C.;
Henz, J.;
Hommel, G.:
Design of a communication scheme for a distributed controller architecture using stochastic Petri nets.
1995.
-
Knaup, W.:
A new iterative numerical solution solution algorithm for Markovian queueing networks.
1995.
-
Lin, S.C.;
Wang, H.P.B.:
Modeling an automated storage and retrieval system using Petri nets.
1995.
-
Malhotra, M.;
Trivesi, K.S.:
Dependability modeling using Petri nets.
1995.
-
Sanders, W.H.;
Obal, W.D.;
Qureshi, M.A.;
Widjanarko, F.K.:
The UltraSAN modeling environment.
1995.
-
Zhou, MengChu;
Wang, C.H.;
Zhao, X.Y.:
Automating Mason's rule and its application to analysis of stochastic Petri nets.
1995.
-
Ajmone Marsan, M.;
Bianco, A.;
Ciminiera, L.;
Sisto, R.;
Valenzano, A.:
A LOTOS extension for the performance analysis of distributed systems.
1994.
-
Ivanov, N.N.:
Semi-Markov processes in timed stochastic Petri nets.
1994.
-
Jin, Q.;
Sugasawa, Y.:
Modeling and analysis of reliability performance for a distributed dual-processor system.
1994.
-
Juanole, G.;
Atamna, Y.;
Carmo, R.L.R.:
On the stochastic timed Petri nets model and its application to the DQDB protocol.
1994.
-
Ramaswamy, S.;
Valavanis, K.P.:
Modeling, analysis and simulation of failures in a materials handling system with extended Petri nets.
1994.
-
Sugasawa, Y.;
Katsumata, M.;
Harada, A.:
Stochastic Petri net model of distributed process system with repair and its behavior analysis.
1994.
-
Viswanadham, N.;
Ram, R.:
Composite performance-dependability analysis of cellular manufacturing systems.
1994.
-
Wang, H.P.B.;
Hafeez, S.A.:
Performance evaluation of tandem and conventional AGV systems using generalized stochastic Petri nets.
1994.
-
Xie, X.L.:
Superposition properties and performance bounds of stochastic timed event graphs.
1994.
-
Ciardo, G.;
German, R.;
Lindemann, C.:
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net.
1994.
-
Barkaoui, K.;
Ben Abdallah, I.:
Modeling and performance evaluation of tool sharing management in FMS using stochastic Petri nets.
1993.
-
Botti, O.;
De Cindio, F.:
Process and resource boxes: an integrated PN performance model for applications and architectures.
1993.
-
De Araujo, S.L.;
Bouhchouch, A.;
Di Mascolo, M.;
Frein, Y.:
On the analysis of a stochastic Petri net modeling a resource sharing situation.
1993.
-
Gouet, R.;
Plo, F.;
San Miguel, M.;
Ycart, B.:
Saturation conditions for stochastic Petri nets.
1993.
-
Haas, P.J.;
Shedler, G.S.:
Passage Times in Colored Stochastic Petri Nets.
1993.
-
Li, Yao;
Woodside, C. Murray:
Iterative Decomposition and Aggregation of Stochastic Marked Graph Petri Nets.
1993.
-
Ohl, H.;
Castelain, E.;
Gentina, J.-C.:
State dependent release control in flexible manufacturing systems.
1993.
-
Meyer, J. F.;
Sanders, W. H.:
Specification and Construction of Performability Models.
1993.
-
Prodromides, K.;
Sanders, W. H.:
Performability Evaluation of CSMA/CD and CSMA/DCR Protocols under Transient Fault Conditions.
1993.
-
Haas, P.J.;
Shedler, G.S.:
Simulation Methods for Manufacturing Systems using Stochastic Petri Nets.
1992.
-
Haas, P.J.;
Shedler, G.S.:
Stochastic Petri Nets: Modelling Power and Limit Theorems.
1991.
-
Florin, G.;
Fraize, C.;
Natkin, S.:
Searching Best Paths to Worst States.
1991.
-
Haas, P.J.;
Shedler, G.S.:
Markovian Stochastic Petri Nets.
1989.
-
Haas, P.J.;
Shedler, G.S.:
Modelling Power of Stochastic Petri Nets for Simulation.
1988.
-
Ciardo, Gianfranco:
Le reti di Petri stocastiche generalizzate: uno strumento per la modellizzazione di sistemi distribuiti.
1982.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography