JOURNAL ARTICLE
Specification and verification of distributed systems using prolog interpreted petri nets.
Pierre AzémaGuy JuanoleEric SanchisMichel Montbernard
Year: 1984 Journal: International Conference on Software Engineering Pages: 510-518
Abstract
This paper presents a formal description technique for distributed systems. The basic choices concern Petri Nets as a modeling tool and PROLOG as a programming environment. The key elements of the introduced approach are a symbolic interpreter for Predicate Transition Nets, and a technique for interfacing concurrent processes. Several illustrative examples are provided.
Keywords:
Petri net Computer science Programming language Prolog Interfacing Predicate (mathematical logic) Interpreter Logic programming Process architecture Key (lock) Distributed computing Theoretical computer science Software engineering Operating system
Metrics
31
Cited By
1.62
FWCI (Field Weighted Citation Impact)
14
Refs
0.79
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Petri Nets in System Modeling
Physical Sciences → Computer Science → Computational Theory and Mathematics
Service-Oriented Architecture and Web Services
Physical Sciences → Computer Science → Information Systems
Model-Driven Software Engineering Techniques
Physical Sciences → Computer Science → Software
Related Documents
JOURNAL ARTICLE
Structure design of distributed systems using interpreted Petri nets
Year: 2003 Vol: 4 Pages: 41-51
JOURNAL ARTICLE
Specification of distributed systems using multi-level petri nets
Félix RamosF. ZunigaAlfonso AlcaláI. Piza
Year: 2004 Vol: 1 Pages: 604-609
JOURNAL ARTICLE
Multiple specification regulation control in interpreted Petri nets
J.F. Sanchez-BlancoA. Ram'rez-TrevinoAlejandra Santoyo Sánchez
Year: 2005 Vol: 5 Pages: 4989-4994
BOOK-CHAPTER
Specification of Distributed Systems with Actors Using Object Oriented Petri Nets
Bolesław MikołajczakArtur Ottlik
Year: 2002 Pages: 423-434
JOURNAL ARTICLE
Specification of distributed systems with actors using object-oriented Petri nets
Bolesław MikołajczakArtur Ottlik
Year: 2002 Vol: 4 Pages: 3134-3140