• TINA

  • Referenced in 42 articles [sw03280]
  • state spaces for Petri nets and time Petri nets. In addition to the graphic-editing ... behaviour of Petri nets or Time Petri nets. Various techniques are used to extract views ... properties of their state spaces. For Petri nets, these abstractions help prevent combinatorial explosion, relying ... covering steps and/or persistent sets. For Time Petri nets, which have, in general, infinite state...
  • GreatSPN

  • Referenced in 57 articles [sw00384]
  • Generalized Stochastic Petri Nets and their colored extension: Stochastic Well-formed Nets. The tool provides ... friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis...
  • GreatSPN 1.7

  • Referenced in 41 articles [sw01562]
  • graphical editor and analyzer for timed and stochastic Petri nets. This paper describes the GreatSPN ... distributed systems using Generalized Stochastic Petri Nets and their colored extension. The tool provides ... friendly framework to experiment with timed Petri net based modeling techniques. It implements efficient analysis...
  • Romeo

  • Referenced in 25 articles [sw00812]
  • Romeo: A tool for analyzing time Petri nets. In this paper, we present the features ... Romeo, a Time Petri Net (TPN) analyzer. The tool Romeo allows state space computation ... from TPNs to Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity ... also deals with an extension of Time Petri Nets (Scheduling-TPNs) for which the valuations...
  • TAPAAL

  • Referenced in 15 articles [sw00947]
  • editor, simulator and verifier of timed-arc Petri nets. TAPAAL is a new platform independent ... modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor ... while the verification module translates timed-arc Petri net models into networks of timed automata...
  • CESAR

  • Referenced in 155 articles [sw08510]
  • formulas of a branching time logic, the temporal operators of which can be computed iteratively ... description program an Interpreted Petri Net representing it and evaluating each formula of the specifications...
  • TimeNET

  • Referenced in 28 articles [sw00965]
  • evaluation of stochastic Petri nets with non-exponentially distributed firing times. TimeNET has been developed...
  • ESP

  • Referenced in 16 articles [sw14787]
  • evaluation of stochastic Petri nets with phase-type distributed transition times...
  • LBS

  • Referenced in 14 articles [sw12372]
  • Petri nets, coloured Petri nets, ODEs and continuous-time Markov chains are also given...
  • Oris

  • Referenced in 2 articles [sw07669]
  • analysis of various classes of timed extensions of Petri Nets. As most characterizing features, Oris ... symbolic state space analysis of preemptive Time Petri Nets, which enable schedulability analysis of real ... under priority preemptive scheduling; and stochastic Time Petri Nets, which enable an integrated approach...
  • Woflan

  • Referenced in 36 articles [sw07028]
  • Woflan: A Petri-net-based workflow analyzer. Workflow management technology promises a flexible solution ... design-time are not detected and result in very costly failures at run-time. Woflan ... unique features. State-of-the-art Petri-net-based analysis techniques are deployed to verify...
  • PARTS

  • Referenced in 2 articles [sw03123]
  • timing properties of these systems. The PARTS toolset uses a Petri-net-based reachability analysis ... subset. Our simple time Petri nets are specifically aimed at facilitating real-time analysis...
  • ITPN-perfbound

  • Referenced in 1 article [sw02721]
  • performance bound tool for interval time Petri nets The ITPN-PerfBound is a tool ... modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which...
  • Charlie

  • Referenced in 3 articles [sw12881]
  • structural and behavioural properties of place/transition Petri nets, complemented by explicit CTL and LTL model ... structural reduction and time-dependent Petri nets. Charlie’s primary focus is teaching. For thispurpose...
  • LEMMA

  • Referenced in 1 article [sw22003]
  • same time a high level timed Petri net corresponding to the designed model is built...
  • DSPNexpress

  • Referenced in 15 articles [sw07931]
  • computer systems with deterministic and stochastic Petri nets (DSPNs).DSPNexpress has a user-friendly graphical ... with four orders of magnitude less CPU time than other packages previously introduced...
  • HYPENS

  • Referenced in 4 articles [sw00422]
  • source tool to simulate timed discrete, continuous and hybrid Petri nets. It has been developed...
  • SPNica

  • Referenced in 3 articles [sw14799]
  • prototype tool. Stochastic Petri Nets (SPNs) with general firing time distributions are considered. Generally timed...
  • pntool

  • Referenced in 2 articles [sw21085]
  • Toolbox five types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic ... coverability tree, structural properties (including invariants), time-dependent performance indices, max-plus state-space representations ... instruments to explore the dynamics of Petri net models, as well as animation facilities...
  • MOBY

  • Referenced in 1 article [sw31032]
  • MOBY is an object-oriented Petri Net Analysis Tool based on Smalltalk 80. MOBY (Modellierung ... analysis of systems by hierarchical timed high level Petri nets with objects. The tool consists...