For the most recent entries see the
Petri Nets Newsletter.
Keyword: software tools
-
Koriem, S.M.:
A fuzzy Petri net tool for modeling and verification of knowledge-based systems.
2000.
-
Patak, R.;
Struhar, M.:
Modeling and simulation of flexible manufacturing systems controlled by Petri nets.
2000.
-
Zimmermann, A.;
Freiheit, J.;
German, R.;
Hommel, G.:
Petri net modeling and performability evaluation with TimeNET 3.0.
2000.
-
Lindemann, C.;
Reuys, A.;
Thuemmler, A.:
The DSPNexpress 2.000 performance and dependability modeling environment.
1999.
-
German, R.:
Markov regenerative stochastic Petri nets with general execution policies: supplementary variable analysis and a prototype tool.
1998.
-
Sakaguchi, T.;
Somani, A.K.:
Hierarchical stochastic reword net solver package.
1998.
-
Siegle, M.:
Techniques and tool for symbolic representation and manipulation of stochastic transition systems.
1998.
-
van der Aalst, W.M.P.:
The application of Petri nets to workflow management.
1998.
-
Bystrov, A.V.;
Virbitskaite, I.B.:
Implementing model checking and equivalence checking for time Petri nets by the RT-MEC tool.
1997.
-
Zuberek, W.M.:
Modeling using timed Petri nets - event-driven simulation.
1996.
-
Zuberek, W.M.:
Modeling using timed Petri nets - model description and representation.
1996.
-
Chiola, G.;
Franceschinis, G.;
Gaeta, R.;
Ribaudo, M.:
GreatSPN-1.7 - graphical editor and analyzer for timed and stochastic Petri nets.
1995.
-
German, R.;
Kelling, C.;
Zimmermann, A.;
Hommel, G.:
TimeNET - a toolkit for evaluating non-Markovian stochastic Petri nets.
1995.
-
Kelling, C.;
Henz, J.;
Hommel, G.:
Design of a communication scheme for a distributed controller architecture using stochastic Petri nets.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography