pverstra's Jensen:K [4 articles] Export

Recent papers posted to pverstra's library by the author Jensen:K. You can also see everyone's Jensen:K.

	Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems [My Copy] International Journal on Software Tools for Technology Transfer (STTT), Vol. 9, No. 3. (1 June 2007), pp. 213-254. by Kurt Jensen, Lars Kristensen, Lisa Wells posted to petri_nets by pverstra on 2008-04-13 15:03:13 as along with 4 people and 1 group tropic maddogmiller wells ANDREKOEHLER StFX Centre for Logic and Information
	The Practitioner's Guide to Coloured Petri Nets [My Copy] International Journal on Software Tools for Technology Transfer, Vol. 2, No. 2. (1998), pp. 98-132. by Lars M. Kristensen, Soren Christensen, Kurt Jensen posted to petri_nets validation by pverstra on 2006-02-13 12:51:50 as along with 1 group macc
	An Introduction to the Practical Use of Coloured Petri Nets. [My Copy] Lecture Notes in Computer Science: Lectures on Petri Nets II: Applications, Vol. 1492 (1998) by K. Jensen edited by reisig, rozenberg posted to coloured high-level modelling nets petri practical spaces state support tool use validation verification coloured_petri_nets petri_nets by pverstra on 2006-01-30 16:54:53 as along with 1 group macc
	An Introduction to the Theoretical Aspects of Coloured Petri Nets [My Copy] In A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium (1994), pp. 230-272. by Kurt Jensen posted to petri-net petri_nets by pverstra on 2006-01-25 12:22:42 as along with 1 group macc

Note: You may cite this page as: http://www.citeulike.org/user/pverstra/author/Jensen:K

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

agent	246
manufacturing_control	159
scheduling	155
manufacturing-control	101
architecture	94
petri_nets	80
bibtex-import	62
holon	60
manufacturing	51
simulation	42
ant	38
agent-based	36
environment	34
agent_based	33
petri-net	27
software	27
formalism	27
modelling	26
statistics	23
coordination	23
aco	20
validation	20
uml	19
optimisation	19
emergence	17
ai	15
negotiation	15
autonomic	13
self_organization	12
publication	11
discrete_event_system	10
methodology	9
control	9
system_theorie	9
requirements	9
local_search	8
domain_knowledge	8
timed_petri_nets	8
graph_theory	8
self-organization	7
agents	7
bdi	6
complexity	6
interaction	6
petri	5
swarm	5
schedule_repair	5
distributed_system	5
dispatching	5
stability	5
verification	4
stigmergy	4
robotics	4
modeling	4
complex_system	4
operations_research	4
problem	4
traffic	3
mathematics	3
macc	3
biblio	3
planning	3
ant-based	3
analysis	3
embedded_control	3
disturbance	3
reference-nets	2
system_theory	2
shop_floor_control	2
logistics	2
survey	2
documentation	2
production	2
blackboard	1
coloured	1
pull	1
coloured_petri_nets	1
negotiaton	1
graphics_processing_unit	1
supply_chain	1
tool	1
bayesian	1
concurrency	1
tree	1
nets	1
2007	1
high-level	1
old	1
state	1
shops	1
job	1
economy	1
spaces	1
use	1
robot	1
automated-storage-retrieval-systems	1
telecommunication	1
parking	1
forecast	1
clustering	1
storage--moving-trade	1
optimization	1
project	1
support	1
system_architecture	1
cuda	1
practical	1
abm	1
deadlock	1
aose	1
management	1
bidding	1
reachability	1
rationality	1
industrial	1
state_space	1
pma	1
grid	1
active_object	1

pverstra's Jensen:K [4 articles] Export

pverstra's tags