Like Score+470
| Application and theory of petri nets 1999 : 20th international conference, ICATPN’99 | |
|---|---|
 |
|
| Original Title | Application and theory of petri nets 1999 : 20th international conference, ICATPN’99 |
| Author | Donatelli, Susanna. Ed, Kleijn, Jetty Ed |
| Publication date |
1999 |
| Topics | petri nets, ICATPN |
| Publisher | Springer |
| Collection | folkscanomy_miscellaneous, folkscanomy, additional_collections |
| Language | English |
| Book Type | EBook |
| Material Type | Book |
| File Type | |
| Downloadable | Yes |
| Support | Mobile, Desktop, Tablet |
| Scan Quality: | Best No watermark |
| PDF Quality: | Good |
| Availability | Yes |
| Price | 0.00 |
| Submitted By | Sketch the Cow |
| Submit Date | |
| Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN’99 Williamsburg, Virginia, USA, June 21–25, 1999 ProceedingsAuthor: Susanna Donatelli, Jetty Kleijn Published by Springer Berlin Heidelberg ISBN: 978-3-540-66132-0 DOI: 10.1007/3-540-48745-XTable of Contents:Design, Simulation, and Implementation of Hybrid Systems Efficient Reachability Set Generation and Storage Using Decision Diagrams Structural Methods to Improve the Symbolic Analysis of Petri Nets Stubborn Sets for Standard Properties Petri Net Based Behavioural Specification of CORBA Systems Symmetric Communication between Coloured Petri Net Simulations and Java-Processes Recent Developments in Modeling and Analysis of Hybrid Dynamic Systems Autonomous Continuous P/T Systems An Approach to the Analysis of Interworking Traders Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets SWN Nets as a Framework for the Specification and the Analysis of FT Techniques Adopted in Electric Plant Automation Monitoring Discrete Event Systems Using Petri Net Embeddings Quasi-Static Scheduling of Embedded Software Using Equal Conflict Nets Theoretical Aspects of Recursive Petri Nets Petri Net Theory — Problems Solved by Commutative Algebra Testing Undecidability of the Reachability in Petri Nets with the Help of 10th Hilbert Problem Net Theory and Workflow Models Concurrent Implementation of Asynchronous Transition Systems Trace Channel Nets Reasoning about Algebraic Generalisation of Petri Nets |
|
