Third-party Call
Control in H.323 Networks – A Case Study.
In: P. Lorenz (Ed.) Networking -- ICN 2001.
Lecture Notes in Computer Science, Vol.2094, Springer Verlag, pp.559-569.
ISBN 3-540-42303-6
Compositional Petri Net Approach to the
Development of Concurrent and Distributed Systems,
Programming and Computer Software.
2001, Vol.27, No.6, pp.309-319.
ISSN: 0361-7688.
Also published in Russian in:
Programming Journal
(Russia), No.6, 2001, pp.30-43 [ PDF ]
Third-party Call Control in
VoIP Networks for Call Center Applications.
In: Proceedings of
IEEE Intelligent Network Workshop 2001 (IN'2001),
May 6-9, 2001, Boston, MA, USA, pp.161-167. ISBN 0-7803-7047-3.
Application of Compositional Petri
Nets and PN3-Tool to the Specification of
Distributed Multimedia Objects.
In: Advances in Distributed Multimedia Systems.
Eds. S.K.Chang et al., 1999, World Scientific (Singapore), pp.99-116. ISBN 981-02-3560-7
Formal Model, Language and Tool for Design
Agent's Scenarios in Call Center Systems.
In: Proceedings of the 32nd Hawaii International Conference on System Sciences (HICSS-99),
(Hawaii, USA, January 4-8, 1999). Volume: Track 8, IEEE Computer Press. ISBN: 0-7695-0001-3, 9 pp.
[
PDF - Conference site ]
Feature Interaction Problem in Computer Telephony Integration Systems.
In: Feature Interactions in Telecommunications and Software systems V, K.Kimbler,
L.G.Bouma (Eds), IOS Press, 1998, pp.73-77, ISBN 90-5199-431-1
The Formal Representation of Call Processing in Call Canters Using a Petri Net Approach,
In: W.v.d.Aalst (Ed), Proceedings of the workshop on Workflow Managment: Net-based Concepts,
Models, Techniques, and Tools, Computer Science Report 98/07, Eindhoven University of Technology,
1998, pp.165-177.
Macroplases in High Level Petri Nets: Application for Design Inbound Call Center,
In: Proceedings of the Int. Conference on Information Systems Analysis and
Synthesis (ISAS'96), pp.153-160 (Orlando, Florida, USA, July 22-26, 1996).
Compositional Petri Nets in Protocol Engineering.
Technical Report No.575,
Department of Computing Science, University of Newcastle upon Tyne, UK (February, 1997).
On Compositionality and Petri Nets in Protocol
Engineering.
In: Protocol Specification, Testing and Verification, XV. Chapman & Hall, pp.71-86, 1996.
ISBN 0-412-71630-8
A Graphical Environment for AUV Mission Programming
and Verification.
In: Proceedings of the 10th International Symposium on Unmanned
Untethered Submersible Technology, pp. 394-405, (Durham, New Hampshire, USA, September 7-10, 1997).
Asynchronous Composition of Petri Nets Via Places,
In: Proceedings of the Andrei Ershov Second International Memorial Conference on
Perspectives of System Informatics, pp.214-219 (Novosibirsk, June 25-28, 1996).
Specification and Verification of a Self-Timed Token Ring Protocol.
Technical Report No.516,
Department of Computing Science, University of Newcastle upon Tyne, UK (1995).
Towards Petri Net Calculi based on
Synchronization via Places.
In: Proceedings of the First IEEE Aizu International Symposium on Parallel
Algorithms / Architecture Synthesis, pp.264-270, IEEE Computer Society Press
(Aizu-Wakamatsu, Japan, March 15-17, 1995).
PN3-Editor: Compositional Petri Net Editor
for Protocol Specification.
In: Proc. of the 3rd IEEE International Workshop on Modeling,
Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS'95),
pp.325-328, IEEE Computer Society Press (Durham, NC, USA, January 18--20, 1995)
An Algebra of Regular Macronets for Formal Specification of
Communication Protocols.
Computers and Artificial Intelligence, Vol. 10, pp.541-560 (1991). ISSN 0232-0274
Hierarchical Composition of Communication Protocols.
Automation Control and Computer Science,
Vol.24, No.1, pp.1-8, 1990 (Allerton Press Inc., N.Y., USA) ISSN: 0146-4116
Algebra of Protocol Structures based on the Theory of Petri Nets.
Automation Control and Computer Science,
1987, Vol.20, No.1, pp.6-12, 1987 (Allerton Press Inc., N.Y., USA) ISSN: 0146-4116