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 47 articles )

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

1 2 3 next

  1. Godary-Dejean, Karen; Leroux, Hélène; Andreu, David: Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (2022)
  2. Amat, Nicolas; Dal Zilio, Silvano; Le Botlan, Didier: Accelerating the computation of dead and concurrent places using reductions (2021)
  3. Arcile, Johan; Devillers, Raymond; Klaudel, Hanna: Dynamic exploration of multi-agent systems with periodic timed tasks (2020)
  4. Garavel, Hubert: Nested-unit Petri nets (2019)
  5. Gutierrez, A.; Bressan, M.; Jimenez, J. F.; Alonso, C.: Real-time emulation of boost inverter using the systems modeling language and Petri nets (2019)
  6. Cong, Xuya; Gu, Chao; Uzam, Murat; Chen, Yufeng; Al-ahmari, Abdulrahman M.; Wu, Naiqi; Zhou, Mengchu; Li, Zhiwu: Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs (2018)
  7. Gougam, Houssam-Eddine; Pencolé, Yannick; Subias, Audine: Diagnosability analysis of patterns on bounded labeled prioritized Petri nets (2017)
  8. Zaitsev, Dmitry A.: Universal Sleptsov net (2017)
  9. André, Étienne; Benmoussa, Mohamed Mahdi; Choppy, Christine: Formalising concurrent UML state machines using coloured Petri nets (2016)
  10. Jensen, Peter Gjøl; Larsen, Kim Guldstrand; Srba, Jiří: Real-time strategy synthesis for timed-arc Petri net games via discretization (2016)
  11. Shi, Ya; Tian, Cong; Duan, Zhenhua; Zhou, Mengchu: Model checking Petri nets with MSVL (2016)
  12. Zaitsev, Dmitry: Sequential composition of linear systems’ clans (2016)
  13. Klai, Kais: Timed aggregate graph: a finite graph preserving event- and state-based quantitative properties of time Petri nets (2015)
  14. Pommereau, Franck: SNAKES: a flexible high-level Petri nets library (tool paper) (2015)
  15. Zaitsev, Dmitry A.: Universality in infinite Petri nets (2015)
  16. 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)
  17. 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)
  18. Fares, Elie; Bodeveix, Jean-Paul; Filali-Amine, Mamoun; Garnacho, Manuel: An automatic technique for checking the simulation of timed systems (2013)
  19. Zhou, Yu; Baresi, Luciano; Rossi, Matteo: Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata (2013)
  20. Balaguer, Sandie; Chatain, Thomas; Haar, Stefan: A concurrency-preserving translation from time Petri nets to networks of timed automata (2012)

1 2 3 next