TINA

swMATH3280MaRDI QIDQ15812FDOQ15812

Author name not available (Why is that?)

Cited In (50)

• 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
• Computer Aided Verification
• TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
• SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
• 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.
• Automated Technology for Verification and Analysis
• 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
• Title not available (Why is that?)
• Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis
• Dynamic Exploration of Multi-agent Systems with Periodic Timed Tasks
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• 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
• Universality in Infinite 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?
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets
• Petri nets semantics of reaction rules (RR). A language for ecosystems modelling
• Sequential composition of linear systems' clans
• Universal Sleptsov net
• 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
• Improvements in unfolding of colored Petri nets
• Dynamical modeling and analysis of large cellular regulatory networks
• Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs
• Diagnosability verification using LTL model checking
• An Automatic Technique for Checking the Simulation of Timed Systems
• Diagnosability analysis of patterns on bounded labeled prioritized Petri nets
• Automated Technology for Verification and Analysis
• Model checking Petri nets with MSVL
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets

This page was built for software: TINA