1995
DOI: 10.1016/0166-5316(95)00008-l
|View full text |Cite
|
Sign up to set email alerts
|

GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
62
0
1

Year Published

2006
2006
2021
2021

Publication Types

Select...
5
3
2

Relationship

0
10

Authors

Journals

citations
Cited by 189 publications
(63 citation statements)
references
References 6 publications
0
62
0
1
Order By: Relevance
“…Evaluation of a GSPN proceeds at the level of the reachability graph. That graph is reduced to a continuous-time Markov chain (CTMC), for which efficient steady-state and transient solvers are at hand [14,17]. Due to their formality, visual representation, and the availability of efficient evaluation support, GSPNs have found widespread application in many diverse disciplines, including manufacturing, logistics, systems biology and so on [11,50,43,24].…”
Section: Introductionmentioning
confidence: 99%
“…Evaluation of a GSPN proceeds at the level of the reachability graph. That graph is reduced to a continuous-time Markov chain (CTMC), for which efficient steady-state and transient solvers are at hand [14,17]. Due to their formality, visual representation, and the availability of efficient evaluation support, GSPNs have found widespread application in many diverse disciplines, including manufacturing, logistics, systems biology and so on [11,50,43,24].…”
Section: Introductionmentioning
confidence: 99%
“…In particular, we have addressed a major topic related to recognizing equivalent system's evolutions, through the WN's symbolic state notion. We are planning to integrate the GreatSPN tool (Chiola, Franceschinis, Gaeta and Ribaudo, 1995), that natively supports WN (and their stochastic extension, SWN), with new modules (plug-in's) for the graphical editing and the analysis/simulation of reflective Petri net models. We are studying the possibility of defining a timed semantics for Reflective Petri nets, which should be in large part inspired by SWN (GSPN) timed semantics.…”
Section: Resultsmentioning
confidence: 99%
“…That graph is transformed into a CTMC, for which efficient steady-state and transient solvers are at hand. This evaluation trajectory was pioneered by the tool GreatSPN [20], nowadays it is implemented in a plethora of tools.…”
Section: Examplementioning
confidence: 99%