17 search results - page 1 / 4 » apn 2006 |
APN
2006
Springer
13 years 8 months ago
2006
Springer
APN
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents the EXHOST-PIPE software: an extension of PIPE
APN
2006
Springer
13 years 8 months ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
APN
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper describes the BRITNeY suite, a tool which enables users to create visualizations of formal models. BRITNeY suite is integrated with CPN Tools, and we give an e...
APN
2006
Springer
13 years 8 months ago
2006
Springer
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...