TINA

swMATH3280MaRDI QIDQ15812FDOQ15812

Author name not available (Why is that?)

Official website: https://projects.laas.fr/tina/index.php

Cited In (84)

• Repeatability package
• Automated Technology for Verification and Analysis
• Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Dynamic exploration of multi-agent systems with periodic timed tasks
• Universal Sleptsov net
• Improvements in unfolding of colored Petri nets
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Reo + \(\mathrm{mCRL2}\): a framework for model-checking dataflow in service compositions
• Petri Net Reductions for Counting Markings
• Accelerating the computation of dead and concurrent places using reductions
• Nested-unit Petri nets
• State observer for DES under partial observation with time Petri nets
• Real-time emulation of boost inverter using the systems modeling language and Petri nets
• Applications and Theory of Petri Nets 2004
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• Universality in infinite Petri nets
• Computer Aided Verification
• An automatic technique for checking the simulation of timed systems
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Adaptation of Open Component-Based Systems
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• Advances in verification of time Petri nets and timed automata. A temporal logic approach.
• A CTL* Model Checker for Petri Nets
• 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
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
• Formal Modeling and Analysis of Timed Systems
• On the composition of time Petri nets
• A concurrency-preserving translation from time Petri nets to networks of timed automata
• Formalising concurrent UML state machines using coloured Petri nets
• Verification of Timed-Arc Petri Nets
• Model Checking Bounded Prioritized Time Petri Nets
• When are timed automata weakly timed bisimilar to time Petri nets?
• GreatSPN
• TAPAAL
• Helena
• PetriNets
• Renew
• SNOOPY
• Cheddar
• Uppaal
• Fiacre
• Woflan
• Oris
• DESUMA
• GIDDES
• SNAKES
• SysML
• TURTLE-P
• CMC
• fc2tools
• MARCIE
• CosyVerif
• NewPolka
• Petriweb
• Papyrus
• MARTE
• CAESAR
• caesar.bdd
• ITS-Tools
• LOEWE
• Meddly
• NUPN_INFO
• PNML2NUPN
• PNMC
• A chronicle-based diagnosability approach for discrete timed-event systems: application to web-services
• Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
• Sequential composition of linear systems' clans
• MAST
• Investigating the usability of real-time scheduling theory with the Cheddar project
• Verification of hypercube communication structures via parametric Petri nets
• Applications and Theory of Petri Nets 2005
• Dynamical modeling and analysis of large cellular regulatory networks
• Diagnosability verification using LTL model checking
• Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
• TAPAAL 2.0: integrated development environment for timed-arc Petri nets
• SNAKES: a flexible high-level Petri nets library (tool paper)
• Timed aggregate graph: a finite graph preserving event- and state-based quantitative properties of time Petri nets
• Automated Technology for Verification and Analysis
• Model checking Petri nets with MSVL

This page was built for software: TINA