For the most recent entries see the
Petri Nets Newsletter.
Perkusich, A.
-
de Almeida, Hyggo Oliveira;
da Silva, Leandro Dias;
Perkusich, Angelo;
Costa, Evandro de Barros:
A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.
2005.
-
Silva, Leandro;
Perkusich, Angelo:
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets.
2005.
-
Gorgônio, Kyller Costa;
Perkusich, Angelo:
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.
2002.
-
Guerrero, D.S.;
de Figueiredo, J.C.A.;
Perkusich, A.:
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment.
2001.
-
Turnell, Maria de F.Q.V.;
Scaico, Alexandre;
de Sousa, Marckson R.F.;
Perkusich, Angelo:
Industrial User Interface Evaluation Based on Coloured Petri Nets Modelling and Analysis.
2001.
-
Costa, Sandro A. D.;
Guerrero, Dalto D. S.;
de Figueiredo, Jorge C.A.;
Perkusich, A.:
Inheritance Issues in Object-oriented Petri Net Models.
1998.
-
de Figueiredo, Jorge C.A.;
de Medeiros, Ana Karla A.;
Guerrero, Daiton D. S.;
Perkusich, Angelo:
An Object-oriented Petri Net Modeling Tool and Abstraction Mechanisms for Cooperative Systems.
1998.
-
Gois, Gustavo M.;
Perkusich, Angelo;
de Figueiredo, Jorge C.A.;
Costa, Evandro B.:
Towards a Multi-agent Interactive Learning Environment Oriented to the Petri Net Domain.
1998.
-
Perkusich, Maria L.B.;
Tumell, Maria de Fatima Q.V.;
Perkusich, Angelo:
Object-oriented Real-time Database Design Based on Petri Nets.
1998.
-
Deng, Y.;
Chang, S.K.;
de Figueiredo, J.C.A.;
Perkusich, A.:
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems.
1993.
-
Perkusich, A.;
Barros, T.C.;
Perkusich, M.L.;
Barbalho, D.S.;
de Figueiredo, J.C.A.:
Knowledge based systems application to implement Petri net models of discrete time systems.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
The author's address is provided by the
database of Petri net researchers.
Back to the Petri Nets Bibliography