For the most recent entries see the
Petri Nets Newsletter.
Keyword: algebraic specification
-
Di Marzo Serugendo, G.;
Guelfi, N.:
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study.
1998.
-
Krämer, Bernd:
Introducing the GRASPIN Specification Language SEGRAS.
1991.
-
Bramini, David:
Specification and Prototypical Implementation of a User Interface for OBJSA Nets Languages.
1990/91.
-
Brummer, J.:
Representation and Verification of Discrete-Event Systems by Means of Petri Nets.
1990.
-
Buchs, Didier;
Guelfi, Nicolas:
CO-OPN: A Concurrent Object Oriented Petri Net Model.
1990.
-
Battiston, Eugenio;
De Cindio, Fiorella;
Mauri, Giancarlo:
OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems.
1990.
-
Reisig, Wolfgang:
Petri Nets and Algebraic Specifications.
1990.
-
Schmidt, Heinz W.:
Analysis of Petri Nets in the GRASPIN Environment.
1990.
-
Krämer, B.:
Concepts, Syntax and Semantics of SEGRAS. A Specification Language for Distributed Systems.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography