Application and Theory of Petri Nets and Concurrency 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings /
This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 sub...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Elektronisch E-boek |
| Taal: | English |
| Gepubliceerd in: |
Cham :
Springer International Publishing : Imprint: Springer,
2014.
|
| Editie: | 1st ed. 2014. |
| Reeks: | Theoretical Computer Science and General Issues ;
8489 |
| Onderwerpen: | |
| Online toegang: | https://doi.org/10.1007/978-3-319-07734-5 |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
| LEADER | 04081nam a22005535i 4500 | ||
|---|---|---|---|
| 001 | 978-3-319-07734-5 | ||
| 003 | DE-He213 | ||
| 005 | 20200706083527.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 140630s2014 gw | s |||| 0|eng d | ||
| 020 | |a 9783319077345 |9 978-3-319-07734-5 | ||
| 024 | 7 | |a 10.1007/978-3-319-07734-5 |2 doi | |
| 050 | 4 | |a QA76.9.L63 | |
| 050 | 4 | |a QA76.5913 | |
| 072 | 7 | |a UM |2 bicssc | |
| 072 | 7 | |a COM051000 |2 bisacsh | |
| 072 | 7 | |a UM |2 thema | |
| 072 | 7 | |a UYF |2 thema | |
| 082 | 0 | 4 | |a 005.1015113 |2 23 |
| 245 | 1 | 0 | |a Application and Theory of Petri Nets and Concurrency |h [electronic resource] : |b 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014, Proceedings / |c edited by Gianfranco Ciardo, Ekkart Kindler. |
| 250 | |a 1st ed. 2014. | ||
| 264 | 1 | |a Cham : |b Springer International Publishing : |b Imprint: Springer, |c 2014. | |
| 300 | |a XIV, 395 p. 155 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Theoretical Computer Science and General Issues ; |v 8489 | |
| 505 | 0 | |a Propagation Nets -- Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking -- Complex Networks and Link Streams for the Empirical Analysis of Large Software -- Soundness of Timed-Arc Workflow Nets -- Process Model Discovery: A Method Based on Transition System Decomposition -- Discovering Block-Structured Process Models from Incomplete Event Logs -- Synthesis of Persistent Systems -- Learning Transparent Data Automata -- A Programming Language for Spatial Distribution of Net Systems -- Flow Unfolding of Multi-clock Nets -- Non-interference by Unfolding -- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems -- On Weighted Petri Net Transducers -- Exhibition of a Structural Bug with Wings -- Analysis of Petri Net Models through Stochastic Differential Equations -- Dynamic Networks of Timed Petri Nets -- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application -- On the Reversibility of Well-Behaved Weighted Choice-Free Systems -- (Stochastic) Model Checking in GreatSPN -- StrataGEM: A Generic Petri Net Verification Framework -- A Steering Server for Collaborative Simulation of Quantitative Petri Nets -- Kaira: Development Environment for MPI Applications. | |
| 520 | |a This book constitutes the proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014, held in Tunis, Tunisia, in June 2014. The 15 regular papers and 4 tool papers presented in this volume were carefully reviewed and selected from 48 submissions. In addition the book contains 3 invited talks in full paper length. The papers cover various topics in the field of Petri nets and related models of concurrency. | ||
| 650 | 0 | |a Computer logic. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Programming languages (Electronic computers). | |
| 650 | 1 | 4 | |a Logics and Meanings of Programs. |0 https://scigraph.springernature.com/ontologies/product-market-codes/I1603X |
| 650 | 2 | 4 | |a Software Engineering. |0 https://scigraph.springernature.com/ontologies/product-market-codes/I14029 |
| 650 | 2 | 4 | |a Programming Languages, Compilers, Interpreters. |0 https://scigraph.springernature.com/ontologies/product-market-codes/I14037 |
| 700 | 1 | |a Ciardo, Gianfranco. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Kindler, Ekkart. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783319077352 |
| 776 | 0 | 8 | |i Printed edition: |z 9783319077338 |
| 830 | 0 | |a Theoretical Computer Science and General Issues ; |v 8489 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-07734-5 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 912 | |a ZDB-2-LNC | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||