Transactions on Petri Nets and Other Models of Concurrency I

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Jensen, Kurt (Επιμελητής έκδοσης), Aalst, Wil M. P. van der (Επιμελητής έκδοσης), Billington, Jonathan (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Σειρά: Lecture Notes in Computer Science, 5100
• Θέματα: Computer science.; Computer programming.; Computers.; Algorithms.; Computer simulation.; Computer Science.; Programming Techniques.; Theory of Computation.; Models and Principles.; Simulation and Modeling.; Algorithm Analysis and Problem Complexity.

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 E...

Πίνακας περιεχομένων:

• Constructive Alignment for Teaching Model-Based Design for Concurrency
• Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
• Teaching Concurrency Concepts to Freshmen
• TAPAs: A Tool for the Analysis of Process Algebras
• Translating Message Sequence Charts to other Process Languages Using Process Mining
• Net Components for the Integration of Process Mining into Agent-Oriented Software Engineering
• Time Recursive Petri Nets
• Designing Case Handling Systems
• Model Driven Testing Based on Test History
• Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
• Directed Unfolding of Petri Nets
• McMillan’s Complete Prefix for Contextual Nets
• Elasticity and Petri Nets.