Search results for "state-class graph"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Louis-Marie Traonouez, Didier Lime, Olivier H. Roux	Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph.	FORMATS	2008	DBLP DOI BibTeX RDF	state-class graph, model-checking, Time Petri nets, parameters, stopwatches
1	Abdelkrim Abdelli, Nadjib Badache	Towards Building the State Class Graph of the TSPN Model.	Fundam. Inform.	2008	DBLP BibTeX RDF
1	Hanifa Boucheneb	Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Interval timed coloured Petri nets, State class graph, Linear properties, State space
1	Abdelkrim Abdelli, Dahbia Yahiatene	Efficient computation of state space over approximation of preemptive real time systems.	AICCSA	2008	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb, Kamel Barkaoui	Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability Graphs.	FORMATS	2008	DBLP DOI BibTeX RDF
1	Kamel Barkaoui, Hanifa Boucheneb, Awatef Hicheur	Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets.	WS-FM	2008	DBLP DOI BibTeX RDF	Recursive Petri nets, Time-constrained Flexible workflows, Time Petri nets, Rewriting logic
1	Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala	Time Recursive Petri Nets.	T. Petri Nets and Other Models of Concurrency	2008	DBLP DOI BibTeX RDF	recursive Petri net, threads, recursivity, time Petri net
1	Hanifa Boucheneb, Hind Rakkay	A more efficient time Petri net state space abstraction preserving linear properties.	ACSD	2007	DBLP DOI BibTeX RDF	state class graph, partial order techniques, independent transitions, relevant execution path, Time Petri nets, state explosion problem
1	Didier Lime, Olivier H. Roux	Model Checking of Time Petri Nets Using the State Class Timed Automaton.	Discrete Event Dynamic Systems	2006	DBLP DOI BibTeX RDF	Dense-time systems, Model-checking, Timed automata, Time petri nets

Displaying result #1 - #9 of 9 (100 per page; Change: )