The tool TINA -- construction of abstract state spaces for Petri nets and time Petri nets. In addition to the graphic-editing facilities, the software tool Tina proposes the construction of a number of representations for the behaviour of Petri nets or Time Petri nets. Various techniques are used to extract views of the behaviour of nets, preserving certain classes of properties of their state spaces. For Petri nets, these abstractions help prevent combinatorial explosion, relying on so-called partial order techniques such as covering steps and/or persistent sets. For Time Petri nets, which have, in general, infinite state spaces, they provide a finite symbolic representation of their behaviour in terms of state classes.

References in zbMATH (referenced in 32 articles )

Showing results 1 to 20 of 32.
Sorted by year (citations)

1 2 next

  1. André, Étienne; Benmoussa, Mohamed Mahdi; Choppy, Christine: Formalising concurrent UML state machines using coloured Petri nets (2016)
  2. Pommereau, Franck: SNAKES: a flexible high-level Petri nets library (tool paper) (2015)
  3. Byg, Joakim; Jacobsen, Morten; Jacobsen, Lasse; Jørgensen, Kenneth Yrke; Møller, Mikael Harkjær; Srba, Jiří: TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (2014)
  4. Bérenguier, D.; Chaouiya, C.; Monteiro, P.T.; Naldi, A.; Remy, E.; Thieffry, D.; Tichit, L.: Dynamical modeling and analysis of large cellular regulatory networks (2013)
  5. Fares, Elie; Bodeveix, Jean-Paul; Filali-Amine, Mamoun; Garnacho, Manuel: An automatic technique for checking the simulation of timed systems (2013)
  6. Zhou, Yu; Baresi, Luciano; Rossi, Matteo: Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (2013)
  7. Balaguer, Sandie; Chatain, Thomas; Haar, Stefan: A concurrency-preserving translation from time Petri nets to networks of timed automata (2012)
  8. Cicirelli, Franco; Furfaro, Angelo; Nigro, Libero: Model checking time-dependent system specifications using time stream Petri nets and UPPAAL (2012)
  9. David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Jørgensen, Kenneth Yrke; Møller, Mikael H.; Srba, Jiří: TAPAAL 2.0: Integrated development environment for timed-arc Petri nets (2012)
  10. Kokash, Natallia; Krause, Christian; De Vink, Erik: Reo + $\mathrmmCRL2$: a framework for model-checking dataflow in service compositions (2012)
  11. Blouin, Dominique; Chillet, Daniel; Senn, Eric; Bilavarn, Sébastien; Bonamy, Robin; Samoyeau, Christian: AADL extension to model classical FPGA and FPGA embedded within a soc (2011)
  12. Peres, Florent; Berthomieu, Bernard; Vernadat, François: On the composition of time Petri nets (2011)
  13. Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico: Oris: a tool for modeling, verification and evaluation of real-time systems (2010)
  14. Zaitsev, D.A.; Shmeleva, T.R.: Verification of hypercube communication structures via parametric Petri nets (2010)
  15. Ghazel, Mohamed; Toguyéni, Armand; Yim, Pascal: State observer for DES under partial observation with time Petri nets (2009)
  16. Núñez, Manuel (ed.); Baker, Paul (ed.); Merayo, Mercedes G. (ed.): Testing of software and communication systems. 21st IFIP WG 6.1 international conference, TESTCOM 2009 and 9th international workshop, FATES 2009, Eindhoven, The Netherlands, November 2--4, 2009. Proceedings (2009)
  17. Pencolé, Y.; Subias, A.: A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services (2009)
  18. Singhoff, Frank; Plantec, Alain; Dissaux, Pierre; Legrand, Jér^ome: Investigating the usability of real-time scheduling theory with the Cheddar project (2009)
  19. Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O.H.: When are timed automata weakly timed bisimilar to time Petri nets? (2008)
  20. Srba, Jiří: Comparing the expressiveness of timed automata and timed extensions of Petri nets (2008)

1 2 next