Inssi

Helecon

Vocabulary

Tenttu

search query: @keyword Petri nets / total: 10

references: 1-10 / 10

« previous page | next page »

	title	year	author
1.	Modeling Time-critical Tasks for Heterogeneous Robotic Systems in Programming by Demonstration	2015	Thabet, Mohammad
2.	Combining Abstraction and Reachability Analysis: A Case Study of the RLC Protocol	2003	Tynjälä, Teemu
3.	Modeling the operation of Margolus quantum cellular automaton using high-level Petri nets	2002	Parviainen, Elina
4.	Implementing a formal agent description language	2001	Pääkkönen, Rauni
5.	Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints	2000	Latvala, Timo
6.	Detecting and exploiting data type symmetries of algebraic system nets during reachability analysis	1999	Junttila, Tommi
7.	Deadlock and Reachability Checking with Finite Complete Prefixes	1999	Heljanko, Keijo
8.	Reachability-based verification of DSS1 protocol	1998	Tynjälä, Teemu
9.	PrT-net Based Analysis of Information Flow Security Nets	1995	Juopperi, Jari
10.	On the Compositionality and Analysis of High-Level Nets	1991	Lilius, Johan

« previous page | next page »

INSSI