Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : International Summer School "Advanced Course on Petri Nets" (2010 ; Rostock, Germany)
Jensen, Kurt (1950-....)
Titre(s) : Transactions on petri nets and other models of concurrency VII [Texte électronique] / Kurt Jensen [and others] (eds.)
Publication : Berlin ; New York : Springer, cop. 2013
Description matérielle : 1 online resource (xii, 422 pages)
Collection : Lecture notes in computer science ; 7480
Note(s) : Includes bibliographical references and author index
These Transactions publish archival papers in the broad area of Petri nets and other
models of concurrency, ranging from theoretical work to tool support and industrial
applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed
and indexed. This Journal has its own Editorial Board which selects papers based on
a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a
selection of the best papers from workshops and tutorials at the annual Petri net
conferences - Special sections/issues within particular subareas (similar to those
published in the Advances in Petri Nets series) - Other papers invited for publication
in ToPNoC - Papers submitted directly to ToPNoC by their authors The 7th volume of
ToPNoC contains revised material from the 5th International Summer School Advanced
Course on Petri Nets, held in September 2010 in Rostock, Germany. The nine papers
cover a diverse range of topics including modeling, verification, partial order semantics,
and synthesis of Petri nets. In compliance with their origin as course material, the
papers are written in survey or tutorial style and give a comprehensive overview of
the state of the art in their respective areas
Autre(s) auteur(s) : Jensen, Kurt (1950-....). Fonction indéterminée
Autre(s) forme(s) du titre :
- Autre forme du titre : Transactions on petri nets and other models of concurrency
7
Sujet(s) : Informatique -- Mathématiques
Petri, Réseaux de
Logiciels
Indice(s) Dewey :
511.35 (23e éd.) = Théorie de la récursivité ; 005.1 (23e éd.) = Développement de logiciels
Identifiants, prix et caractéristiques : ISBN 9783642381430
Identifiant de la notice : ark:/12148/cb44707069w
Notice n° :
FRBNF44707069
(notice reprise d'un réservoir extérieur)
Table des matières : In Memoriam: Carl Adam Petri. /Wolfgang Reisig, Grzegorz Rozenberg, P.S. Thiagarajan
; Modeling. ; Strategies for Modeling Complex Processes Using Colored Petri Nets /Wil
M.P. van der Aalst, Christian Stahl, Michael Westergaard ; Applications of Coloured
Petri Nets for Functional Validation of Protocol Designs /Lars M. Kristensen, Kent
Inge Fagerland Simonsen ; Business Process Modeling Using Petri Nets /Kees M. van
Hee, Natalia Sidorova, Jan Martijn van der Werf ; Semantics and Analysis. ; Structure
Theory of Petri Nets /Eike Best, Harro Wimmel ; Causality in Extensions of Petri Nets
/Jetty Kleijn, Maciej Koutny ; External Behaviour of Systems of State Machines with
Variables /Antti Valmari ; Synthesis and Scenarios. ; The Synthesis Problem /Wolfgang
Reisig ; Models from Scenarios /Robert Lorenz, Jörg Desel, Gabriel Juhás ; Discovering
Petri Nets from Event Logs /Wil M.P. van der Aalst, Boudewijn F. van Dongen