Title
Refinement of Coloured Petri Nets
Abstract
In this paper we describe and apply a multirelational approach for performing linear-algebraic refinement of coloured Petri nets.
Year
DOI
Venue
1997
10.1007/BFb0036175
FCT
Keywords
Field
DocType
linear algebra
Discrete mathematics,Automata theory,Petri net,Computer science,Artificial intelligence
Conference
Volume
ISSN
ISBN
1279
0302-9743
3-540-63386-3
Citations 
PageRank 
References 
5
0.50
4
Authors
2
Name
Order
Citations
PageRank
Eike Best127456.26
Thomas Thielke2101.38