For the most recent entries see the Petri Nets Newsletter.

Petri-Netz-Methoden und -Werkzeuge.

Leszak, M.; Eggert, H.

Informatik Fachberichte Nr. 197. Springer-Verlag, 1989.

Abstract: The report contains a classification of Petri nets and Petri net analysis methods; and it presents an evaluation of software tools, where the main features considered are the realized net class, the specification interface, the invariants analysis, the reachability analysis, the performance verification by Markov chain analysis, simulation, program and net generation, and net reduction. The following tools are discussed: For Predicate/Transition-Nets (PRT-Nets): NETLAB, PESYS, PETRIPOTE, PETSI, PRENA, PROVER, PRT-PROLOG, SERPE; for Stochastic PRT-Nets: AISPE, ESP, GreatSPN, GTPN, NET, RDPS; for other net types: DAIMI, DEMON, FUN-GNED, GALILEO, ISAC/GRAPH, P-NUT, PROSIT, PROTEAN, RAFAEL.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography