Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,612,664 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.
2011
2011
Effect of Inorganic and Organic Sources of Nutrients and Biofertilizers opn Growth and Flowering of Golden Rod
Punyatoya Priyambada
2011
Corpus ID: 104379841
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
2008
2008
Hyaluronan Biology and Regulation in Renal Tubular Epithelial Cells and its Role in Kidney Stone Disease
M. Asselman
2008
Corpus ID: 58217561
textabstractRenal stone disease is a widespread problem afflicting more and more people throughout the world. Epidemiological…
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
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
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
1995
1995
A-17 Osteopontin (Opn) immunreactivity in meningiomas
赤井 治
,
種子 田護
,
岩崎 弘充
,
鈴木 敦夫
1995
Corpus ID: 83028396
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