A Formal and Executable Specification of the Internet Open Trading Protocol
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
Tackling the Infinite State Space of a Multimedia Control Protocol Service Specification
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Verification of a Revised WAP Wireless Transaction Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Formal Service Specification for the Internet Open Trading Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Modelling the WAP Transaction Service using Coloured Petri Nets
MDA '99 Proceedings of the First International Conference on Mobile Data Access
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Modeling of discrete event systems: A holistic and incremental approach using Petri nets
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Semantics of petri nets: a comparison
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
From Model Driven Engineering to Verification Driven Engineering
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Analysing properties of the resource reservation protocol
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Training scenario operations realization in virtual reality environment
ACMOS'11 Proceedings of the 13th WSEAS international conference on Automatic control, modelling & simulation
Discovering chatter and incompleteness in the datagram congestion control protocol
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
| Hi-index | 0.00 |
From the Publisher:Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed and comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis and management of communication networks and systems in the broadest sense of these terms.