All pages tagged with Petri nets

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