A practical approach to verification of mobile systems using net unfoldings (Englisch)
- Neue Suche nach: Meyer, Roland
- Neue Suche nach: Khomenko, Victor
- Neue Suche nach: Strazny, Tim
- Neue Suche nach: Meyer, Roland
- Neue Suche nach: Khomenko, Victor
- Neue Suche nach: Strazny, Tim
In:
Applications and Theory of Petri Nets, PETRI NETS, International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, 29
;
327-347
;
2008
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:A practical approach to verification of mobile systems using net unfoldings
-
Weitere Titelangaben:Ein praktisches Verfahren zur Verifikation mobiler Systeme mittels Netz-Unfoldings
-
Beteiligte:
-
Erschienen in:Lecture Notes in Computer Science ; 5062 ; 327-347
-
Verlag:
- Neue Suche nach: Springer Verlag
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:2008
-
Format / Umfang:21 Seiten, 18 Quellen
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Challenges and Opportunities for Formal Specifications in Service Oriented ArchitecturesAlonso, G. et al. | 2008
- 7
-
Modeling Interactions between Biochemical Reactions (Abstract)Ehrenfeucht, A. / Rozenberg, G. et al. | 2008
- 8
-
Transaction Calculus (Abstract)Jifeng, H. et al. | 2008
- 9
-
Stratifying Winning Positions in Parity GamesLin, H. et al. | 2008
- 12
-
On the Physical Basics of Information Flow: Results Obtained in Cooperation with Konrad ZusePetri, C.A. et al. | 2008
- 13
-
Faster Unfolding of General Petri Nets Based on Token FlowsBergenthum, R. / Lorenz, R. / Mauser, S. et al. | 2008
- 33
-
Decomposition Theorems for Bounded Persistent Petri NetsBest, E. / Darondeau, P. et al. | 2008
- 52
-
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case StudyBonchi, F. / Brogi, A. / Corfini, S. / Gadducci, F. et al. | 2008
- 72
-
Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri NetsBouroulet, R. / Devillers, R. / Klaudel, H. / Pelz, E. / Pommereau, F. et al. | 2008
- 92
-
A Symbolic Algorithm for the Synthesis of Bounded Petri NetsCarmona, J. / Cortadella, J. / Kishinevsky, M. / Kondratyev, A. / Lavagno, L. / Yakovlev, A. et al. | 2008
- 112
-
Synthesis of Nets with Step Firing PoliciesDarondeau, P. / Koutny, M. / Pietkiewicz-Koutny, M. / Yakovlev, A. et al. | 2008
- 132
-
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri NetsDing, L.G. / Liu, L. et al. | 2008
- 152
-
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc NetworksEspensen, K.L. / Kjeldsen, M.K. / Kristensen, L.M. et al. | 2008
- 171
-
Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network ScenarioFleischer, P. / Kristensen, L.M. et al. | 2008
- 191
-
Parametric Language Analysis of the Class of Stop-and-Wait ProtocolsGallasch, G.E. / Billington, J. et al. | 2008
- 211
-
Hierarchical Set Decision Diagrams and Automatic SaturationHamez, A. / Thierry-Mieg, Y. / Kordon, F. et al. | 2008
- 231
-
Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing SpeedsHiraishi, K. et al. | 2008
- 251
-
Modelling Concurrency with Quotient MonoidsJanicki, R. / Le, D.T.M. et al. | 2008
- 270
-
Labeled Step Sequences in Petri NetsJantzen, M. / Zetzsche, G. et al. | 2008
- 288
-
MC-SOG: An LTL Model Checker Based on Symbolic Observation GraphsKlai, K. / Poitrenaud, D. et al. | 2008
- 307
-
Symbolic State Space of Stopwatch Petri Nets with Discrete-Time SemanticsMagnin, M. / Lime, D. / Roux, O. et al. | 2008
- 327
-
A Practical Approach to Verification of Mobile Systems Using Net UnfoldingsMeyer, R. / Khomenko, V. / Strazny, T. et al. | 2008
- 348
-
Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence PlanningOberheid, H. / Soffker, D. et al. | 2008
- 368
-
Process Discovery Using Integer Linear Programmingvan der Werf, J.M.E.M. / van Dongen, B.F. / Hurkens, C.A.J. / Serebrenik, A. et al. | 2008
- 388
-
Synthesis of Petri Nets from Scenarios with VipToolBergenthum, R. / Desel, J. / Lorenz, R. / Mauser, S. et al. | 2008
- 399
-
A Monitoring Toolset for PaoseCabac, L. / Dorges, T. / Rolke, H. et al. | 2008
- 409
-
Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net ModelsLourenco, J. / Gomes, L. et al. | 2008
- 419
-
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri NetsSessego, F. / Giua, A. / Seatzu, C. et al. | 2008