Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Applications and Theory of Petri Nets 2005
  • Produktbild: Applications and Theory of Petri Nets 2005

Applications and Theory of Petri Nets 2005 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings

Aus der Reihe Lecture Notes in Computer Science

Fr. 73.90

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2005

Herausgeber

Gianfranco Ciardo + weitere

Verlag

Springer Berlin

Seitenzahl

475

Maße (L/B/H)

23.5/15.5/2.7 cm

Gewicht

685 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26301-2

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.06.2005

Herausgeber

Verlag

Springer Berlin

Seitenzahl

475

Maße (L/B/H)

23.5/15.5/2.7 cm

Gewicht

685 g

Auflage

2005

Sprache

Englisch

ISBN

978-3-540-26301-2

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Applications and Theory of Petri Nets 2005
  • Produktbild: Applications and Theory of Petri Nets 2005
  • Invited Papers.- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets.- Applications of Craig Interpolation to Model Checking.- Towards an Algebra for Security Policies.- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.- Full Papers.- Genetic Process Mining.- The (True) Concurrent Markov Property and Some Applications to Markov Nets.- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.- Extremal Throughputs in Free-Choice Nets.- A Framework to Decompose GSPN Models.- Modeling Dynamic Architectures Using Nets-Within-Nets.- A High Level Language for Structural Relations in Well-Formed Nets.- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.- Termination Properties of TCP’s Connection Management Procedures.- Soundness of Resource-Constrained Workflow Nets.- High-Level Nets with Nets and Rules as Tokens.- Can I Execute My Scenario in Your Net?.- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty.- On the Expressive Power of Petri Net Schemata.- Determinate STG Decomposition of Marked Graphs.- Timed-Arc Petri Nets vs. Networks of Timed Automata.- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.- Tool Papers.- The ProM Framework: A New Era in Process Mining Tool Support.- High Level Petri Nets Analysis with Helena.- Protos 7.0: Simulation Made Accessible.