Applications and theory of petri nets 2001 : 22nd International Conference, ICATPN 2001, Newcastle Upon Tyne,
Author: ICATPN 2001. Conference (2001 : Newcastle upon Tyne, England), Colom, José-Manuel, Koutny, Maciej, 1958-
Added by: sketch
Added Date: 2015-12-30
Language: eng
Subjects: Petri nets, vérification formelle, réseau Petri temporisé, programmation répartie, concurrence, système réparti, réseau Petri stochastique, réseau Petri coloré, réseau Petri, Pétri, Réseaux de, Petri, Réseaux de, Kongress, Petri-Netz, Petri-Netz, Petri-Netz
Publishers: Berlin ; London : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540422528, 9783540422525
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 201.12 MB
PDF Size: 5.29 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Edition: [Elektronische Ressource]
Downloads: 391
Views: 441
Total Files: 18
Media Type: texts
Total Files: 5
Last Modified: 2022-03-09 09:01:58
Size: 11.97 KB
Description
Author: José-Manuel Colom, Maciej Koutny
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42252-5
DOI: 10.1007/3-540-45740-2
Table of Contents:
- Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort?
- The Flux of Interaction
- Towards a Notion of Distributed Time for Petri Nets
- Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
- Timed Petri Nets and BQOs
- CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets
- Petri Net Based Design and Implementation Methodology for Discrete Event Control Systems
- Condensed State Spaces for Timed Petri Nets
- Unfolding of Products of Symmetrical Petri Nets
- partial Order Verification of Programmable Logic Controllers
- Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets
- Generalized Conditions for Liveness Enforcement and Deadlock Prevention in Petri Nets
- A Concurrent Semantics of Static Exceptions in a Parallel Programming Language
- Modelling the Structure and Behaviour of Petri Net Agents
- Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints
- Incremental State Space Construction for Coloured Petri Nets
- Optimising Enabling Tests and Unfoldings of Algebraic System Nets
- Extending the Petri Box Calculus with Time
- Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets
- Pr/T-Net Based Seamless Design of Embedded Real-Time Systems
Includes bibliographical references and index