Sciweavers

71
Voted
ICSE
1995
IEEE-ACM
15 years 11 days ago
A Compact Petri Net Representation for Concurrent Programs
This paper presents a compact Petri net representation that is e cient to construct for concurrent programs that use explicit tasking and rendezvous style communication. These Pet...
Matthew B. Dwyer, Lori A. Clarke, Kari A. Nies
ATAL
2004
Springer
15 years 2 months ago
A Scalable Petri Net Representation of Interaction Protocols for Overhearing
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
Gery Gutnik, Gal A. Kaminka