<html><head>
<meta http-equiv="content-type" content="text/html; charset=GB2312">
<title>Recommended Books and Papers on Coloured Petri Nets</title>
</head><body text="#000000" bgcolor="#addbdb">
<h1>Recommended Books and Papers on Coloured Petri Nets</h1>
<h2>by <a href="http://www.daimi.au.dk/%7Ekjensen/">Kurt Jensen</a>, <a href="http://www.daimi.au.dk/CPnets/">CPN Group</a>, University of Aarhus, Denmark</h2>
<p><br>
</p><h2>Textbooks on CP-nets</h2>
K. Jensen:
<i>Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use.</i>
Volume 1, Basic Concepts. Monographs in Theoretical Computer
Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-60943-1.
<ul>
<li> Keywords: Introduction to CP-nets, Formal definition, Hierarchical
nets, Modularity, Dynamic and static properties, Verification methods,
State spaces, Invariants, Computer tools, Industrial applications,
General.
</li><li> Comments: Textbook. An in-depth description of the basic concepts
of CP-nets.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol1_rev.html">
Review (from Computing Reviews)</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol1_pre.html">
Preface</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol1_err1+2.html">
Known Errors (1. and 2. edition)</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol1_err2r.html">
Known Errors (Corrected Reprint of 2. edition)</a>.
</li></ul>
K. Jensen: <i>Coloured Petri Nets. Basic Concepts, Analysis Methods and
Practical Use. Volume 2, Analysis Methods</i>. Monographs in Theoretical
Computer Science, Springer-Verlag, 2nd corrected printing 1997. ISBN: 3-540-58276-2.
<ul>
<li> Keywords: Formal verification, State spaces, Occurrence Graphs,
Equivalent system states, Exploitation of symmetries, Condensed state
spaces, Place invariants, Transition invariants, Timed CP-nets,
General.
</li><li> Comments: Textbook. An in-depth description of the verification
methods of CP-nets.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol2_rev.html">
Review (from Computing Reviews)</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol2_pre.html">
Preface</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol2_err1.html">
Known Errors (1. edition)</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol2_err1r.html">
Known Errors (Corrected Reprint of 1. edition)</a>.
</li></ul>
K. Jensen: Coloured Petri Nets. <i>Basic Concepts, Analysis Methods and
Practical Use. Volume 3, Practical Use</i>. Monographs in Theoretical Computer
Science, Springer-Verlag, 1997. ISBN: 3-540-62867-3.
<ul>
<li> Keywords: Applications, Industrial use, Modelling, Verification,
General.
</li><li> Comments: Textbook. An in-depth description of 19 industrial projects
illustrating the practical use of CP-nets.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol3_rev.html">
Review (from Computing Reviews)</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol3_pre.html">
Preface</a>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/vol3_err1.html">
Known Errors (1.edition)</a>.
</li></ul>
K. Jensen and G. Rozenberg (eds.): <i>High-level Petri Nets. Theory and
Application</i>. ISBN: 3-540-54125 X or 0-387-54125 X, Springer-Verlag,
1991.
<ul>
<li> Keywords: High-level Petri nets, Basic models, Abstract data
types, Hierarchical nets, Modularity, Invariants, State spaces,
Transformations, Stochastic nets, Applications, Computer tools,
General.
</li><li> Comments: The book contains some of the most important papers
on the application and theory of high-level Petri nets.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/hl_book.html">Preface</a>.
</li></ul>
<a name="intro_cpn_papers"></a>
<h2>Introductory Papers on CP-nets</h2>
K. Jensen, L.M. Kristensen, L. Wells: <i> Coloured Petri Nets and CPN Tools for
Modelling and Validation of Concurrent Systems</i>.
International Journal on <a href="http://sttt.cs.uni-dortmund.de/">Software
Tools for Technology Transfer</a>, 9 (2007), Springer Verlag, 213-254.
<ul>
<li> Keywords: Introduction to CP-nets, Simulation, State spaces, Occurrence
graphs, CP-nets with time, Hierarchical CP-nets, Tool support, Application, General.
</li><li> Comments: This paper provides a comprehensive road map to the
practical use of CP-nets and CPN Tools. The paper is
self-contained and does not assume any prior knowledge of Petri nets and CP-nets nor any experience with CPN Tools.
</li><li> © Springer-Verlag. The original publication is available
on LINK at <http://link.springer.de>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/sttt2007.html">Abstract</a>
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/sttt2007.pdf">PDF-file</a>
</li><li> <a href="http://www.link.springer.de/link/service/journals/10009/bibs/8002002/80020098.htm">LINK at Springer-Verlag</a>
</li></ul>
L.M. Kristensen, S. Christensen, K. Jensen: <i>The Practitioner's Guide to
Coloured Petri Nets</i>. International Journal on <a href="http://sttt.cs.uni-dortmund.de/">Software
Tools for Technology Transfer</a>, 2 (1998), Springer Verlag, 98-132.
<ul>
<li> Keywords: Introduction to CP-nets, Simulation, State spaces, Occurrence
graphs, CP-nets with time, Hierarchical CP-nets, Tool support, Application, General.
</li><li> Comments: This paper provides a comprehensive road map to the
practical use of CP-nets and the Design/CPN tool. The paper is
self-contained and does not assume any prior knowledge of Petri nets and CP-nets nor any experience with the Design/CPN tool.
</li><li> © Springer-Verlag. The original publication is available
on LINK at <http://link.springer.de>.
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/sttt.html">Abstract</a>
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/pract.pdf">PDF-file</a>
</li><li> <a href="http://www.springerlink.com/content/w6001222108r5135/">LINK at Springer-Verlag</a>
</li></ul>
K. Jensen: <i>A Brief Introduction to Coloured Petri Nets</i>. In: E.
Brinksma (ed.): Tools and Algorithms for the Construction and Analysis
of Systems. Proceeding of the TACAS'97 Workshop, Enschede, The
Netherlands 1997, Lecture Notes in Computer Science Vol. 1217,
Springer-Verlag 1997, 203-208.
<ul>
<li> Keywords: Introduction to CP-nets, General.
</li><li> Comments: A very brief introduction to CP-nets and their analysis
methods.
</li><li> © Springer-Verlag
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/brief.html">Abstract</a>
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/brief.pdf">PDF-file</a>
</li></ul>
K. Jensen: <i>An Introduction to the Practical Use of Coloured Petri
Nets</i>. In: W. Reisig and G. Rozenberg (eds.): Lectures on
Petri Nets II: Applications, Lecture Notes in Computer Science vol. 1492,
Springer-Verlag 1998, 237-292.
<ul>
<li> Keywords: Introduction to CP-nets, Simulation, State spaces,
Condensed state spaces, Occurrence graphs, CP-nets with time, Hierarchical
CP-nets, Tool support, Application, General.
</li><li> Comments: A good introduction to the practical use of CP-nets and
the CPN tools.
</li><li> © Springer-Verlag
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/use.html">Abstract</a>
</li><li> <a href="http://www.daimi.au.dk/%7Ekjensen/papers_books/use.pdf">PDF-file</a>
</li></ul>
K.
CPN Tools中文帮助
5星 · 超过95%的资源 需积分: 10 44 浏览量
2011-07-02
18:50:12
上传
评论 1
收藏 280KB RAR 举报 
CPN Tools中文帮助 （263个子文件） 
style-help-blue.css 2KB
rec_papers_books.html 14KB getting_started_with_cpn_.html 11KB check_for_opengl_support.html 9KB colour_set_functions.html 8KB basic_interaction.html 7KB introduction_to_hierarchi.html 6KB inhibitor_arcs.html 6KB how-to.html 6KB syntax_checking.html 6KB queuesstacks.html 6KB install_driver_for_multip.html 5KB example_declarations.html 5KB license_agreement.html 5KB addedit_declarations.html 5KB simulating_nets.html 5KB list_colour_sets.html 4KB graphical_feedback.html 4KB inscriptions_in_hierarchi.html 4KB edit_the_net.html 4KB removing_hierarchical_con.html 4KB arc_inscriptions.html 4KB string_colour_sets.html 4KB declare_clause.html 4KB bottom-up_development.html 4KB chisq.html 4KB working_with_hierarchical.html 4KB hierarchy_tags.html 4KB exceptions.html 4KB place_inscriptions.html 4KB substitution_transitions.html 4KB integer_colour_sets.html 4KB functions.html 4KB random_distribution_funct.html 4KB save_a_state_space_report.html 3KB edit_the_layout.html 3KB variables.html 3KB groups.html 3KB multi-sets.html 3KB change_attributes_and_opt.html 3KB converting_from_designcpn.html 3KB code_segments.html 3KB fusion_places.html 3KB combining_palettes_toolgl.html 3KB save_a_model.html 3KB edit_text.html 3KB tool_box.html 3KB use_state_space_tool.html 3KB transition_inscriptions.html 3KB simulation_report.html 3KB editing_a_cp-net.html 3KB palettes.html 3KB known_limitations.html 3KB undo.html 3KB union_colour_sets.html 3KB guards.html 3KB hardware_requirements.html 3KB record_colour_sets.html 3KB subset_colour_sets.html 2KB anti-placeslimit_places.html 2KB redo.html 2KB enter_the_state_space_too.html 2KB net_overviews.html 2KB calculate_a_state_space_a.html 2KB marking_menus.html 2KB two-handed_interaction.html 2KB save_state_space_report.html 2KB boolean_colour_sets.html 2KB addedit_inscriptions.html 2KB illegal_tokens.html 2KB top-down_development.html 2KB transfer_states.html 2KB introduction_to_cpn_tools.html 2KB new_page.html 2KB incomplete_binding_sequen.html 2KB state_space_to_simulator.html 2KB clone_element.html 2KB product_colour_sets.html 2KB magnetic_guidelines.html 2KB marking_menu_tools.html 2KB identifiers.html 2KB delete_element.html 2KB resize_pan_and_zoom.html 2KB net_marking_menu.html 2KB size_and_complexity_of_co.html 2KB edit_attributes.html 2KB cpn_ml.html 2KB unit_colour_sets.html 2KB external_communication_wi.html 2KB colour_sets.html 2KB aux_marking_menu.html 2KB calculate_state_space.html 2KB index_colour_sets.html 2KB timed_multi-sets.html 2KB make_state_space_queries.html 2KB cpntools-help.html 2KB hierarchy_tools.html 2KB errors_and_bugs.html 2KB interaction_techniques.html 2KB example_nets.html 2KB共 263 条
- 1
- 2
- 3
资源评论
ndschhh2012-03-22讲的很清楚！就是需要软件才能阅读- hutaojiaziok2012-03-29还可以 就是没有图 不方便
