Tutti i documenti taggati con Petri nets

• Automatic multi-platform implementation of AUML interaction protocols with the help of Petri nets
• ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
• PNagent: A Framework for Modelling BDI Agents Using Object Oriented Petri Nets
• Expressive Power of the ACLT Reaction Specification Language
• ReSpecT Nets: Towards an Analysis Methodology for ReSpecT Specifications
• Implementazione automatica di protocolli di interazione AUML mediante reti di Petri
• Workflow Management: Workflow basics and evolution towards coordination
• PNSE