Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,168,518 papers from all fields of science
Search
Sign In
Create Free Account
CO-OPN
Known as:
COOPN
, CoopnTools
The CO-OPN (Concurrent Object-Oriented Petri Nets) specification language is based on both algebraic specifications and algebraic Petri nets…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Algebraic Petri net
Specification language
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
2009
Review
2009
Derivation methods for hybrid knowledge bases with rules and ontologies
Ana Sofia Gomes
2009
Corpus ID: 124521873
The raising popularity of the Semantic Web to describe concepts of the applications domains has revealed some aspects that could…
Expand
2007
2007
Semi-Automatic Test Case Generation from CO-OPN Specifications
L. Lucio
,
Didier Buchs
2007
Corpus ID: 27865616
In this paper we will describe our work on automatic generation of tests for Systems Under Test (SUT) described in the CO-OPN…
Expand
2007
2007
An Agent Oriented Software Engineering Approach for the Adult Stem-Cell Modeling, Simulation and Visualization
C. Lucena
2007
Corpus ID: 110453880
Resumo. Este artigo descreve os primeiros resultados obtidos na modelagem, simulacao e visualizacao do comportamento de celulas…
Expand
2004
2004
Generation of object-oriented programs from CO-OPN specifications
S. Chachkov
2004
Corpus ID: 60786245
The execution of formal specifications is important for verification, validation and animation purposes. This thesis describes…
Expand
2002
2002
Ligand Inhibits Osteopontin Gene Expression Through Interference With Binding of Nuclear Factors to A / T-Rich Sequence in THP-1 Cells
Y. Oyama
,
N. Akuzawa
,
R. Nagai
,
M. Kurabayashi
2002
Corpus ID: 36409905
Peroxisome proliferator-activated receptor (PPAR ) is a member of the nuclear receptor superfamily that acts as a key player in…
Expand
2000
2000
CoopnTools a Toolkit for the support of CO-OPN
Mathieu Buffo
,
Didier Buchs
,
S. Chachkov
2000
Corpus ID: 60747045
Keywords: Petri Nets ; Tools ; Conform Reference LGL-CONF-2000-001 Record created on 2005-09-20, modified on 2016-08-08
1996
1996
Multi-agents system specification using CO-OPN
Lamia Friha
,
Didier Buchs
,
P. Berry
1996
Corpus ID: 17039323
Complex systems can be managed by object oriented notions incorporating abstractions and encapsulation in the context of…
Expand
1995
1995
Structured Algebraic Nets with Object-Orientation
O. Biberstein
,
Didier Buchs
1995
Corpus ID: 16366559
Keywords: Conform Note: Turin Reference LGL-CONF-1995-010 Record created on 2005-09-20, modified on 2016-08-08
1992
1992
Distributed system specification using CO-OPN
Didier Buchs
,
N. Guelfi
Proceedings of the Third Workshop on Future…
1992
Corpus ID: 62165036
The CO-OPN specification formalism for large concurrent systems is presented. CO-OPN includes specification of data types and…
Expand
1992
1992
Producing prototypes from CO-OPN specifications
Didier Buchs
,
Jacques Flumet
,
P. Racloz
[ Proceedings] The Third International Workshop…
1992
Corpus ID: 19052952
The techniques and the tools developed to produce prototypes from CO-OPN (concurrent object-oriented Petri net) specifications…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE