An algorithm for computing S-invariants for high level petri nets

A new methodology for analyzing distributed systems modeled by petri nets

Sarkar, Dilip
Das, Sajal Kumar
Agrawal, Vinod Kumar
Patnaik, Lalit Mohan

January 1990

Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants...

HIGH LEVEL PETRI NETS WITH DATA STRUCTURE

Sibertin-Blanc, Christophe

July 1985

International audienceFor the lack of a data structure, Petri nets are not suitable for modeling sys...

An Introduction to High-Level Petri Nets

Jensen, Kurt

October 1985

This paper describes a Petri net model, where information is attached to each token and when a trans...

Partial S-invariants for the verification of infinite systems families

Vogler, Walter (Prof. Dr.)

January 2005

We introduce partial S-invariants of Petri nets, which can help to determine invariants and to prove...

A completion of the S-invariance technique by means of fixed point algorithms

Lautenbach, K.
Ridder, H.
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1995

On this paper we transform bounded Petri net systems into transition systems in order to have a brid...

Invariant Analysis In Petri Nets

Çayır, Sinan

May 2015

Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2004Thesis (M.Sc.) -- ...

Computational invariant theory

Kemper, G.
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 1998

SIGLEAvailable from TIB Hannover: RR 1606(98-07) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Invariant-preserving Petri net reduction and conditions for invariant-existence

Das, Sajal Kumar
Agrawal, Vinod Kumar
Sarkar, Dilip
Patnaik, Lalit M

January 1988

The use of invariants is an important tool for analysis of distributed and concurrent systems modele...

Invariant-Preserving Petri Net Reduction And Conditions For Invariant-Existence

Das, Sajal K.
Agrawal, Vinod K.
Sarkar, Dilip
Patnaik, Lalit M.

January 1988

The use of invariants is an important tool for analysis of distributed and concurrent systems modele...

S- and T-invariants in Cyber net systems

Yuan, Chongyi

January 1995

Cyber nets are also known as self-modifying nets. Though proposed and defined some 20 years ago, the...

Computing structural properties of symmetric nets

L. Capra
M. De Pierro
G. Franceschinis

January 2015

Structural properties of Petri Nets (PN) have an important role in the process of model validation a...

Computing Structural Properties of Symmetric Nets

CAPRA, LORENZO
DE PIERRO, Massimiliano
FRANCESCHINIS, Giuliana Annamaria

January 2015

Structural properties of Petri Nets (PN) have an important role in the process of model validation a...

A class of composable high level petri nets. An M-net semantics of B(PN)"2

Klaudel, H. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique)
UPVM, Equipe d'Informatique Fondamentale, 94 - Creteil (France))
Hopkins, R.P. (Newcastle Univ., NSW (Australia). Dept. of Electrical Engineering and Computer Science)
Fraczak, W.
Best, E. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Fleischhack, H. (Oldenburg Univ. (Germany). Fachbereich 10 - Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik
Pelz, E. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique

January 1995

Available from TIB Hannover: RO 8347(1995,10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

On computing subfields A detailed description of the algorithm

Klueners, J.
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 1998

SIGLEAvailable from TIB Hannover: RR 1606(98-26) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Automatic Symmetry Detection in Well-Formed Nets

Thierry-Mieg, Yann
Dutheillet, Claude
Mounier, Isabelle

June 2003

International audienceFormal verification of complex systems using high-level Petri Nets faces the s...

A new methodology for analyzing distributed systems modeled by petri nets

Sarkar, Dilip
Das, Sajal Kumar
Agrawal, Vinod Kumar
Patnaik, Lalit Mohan

January 1990

Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants...

HIGH LEVEL PETRI NETS WITH DATA STRUCTURE

Sibertin-Blanc, Christophe

July 1985

International audienceFor the lack of a data structure, Petri nets are not suitable for modeling sys...

An Introduction to High-Level Petri Nets

Jensen, Kurt

October 1985

This paper describes a Petri net model, where information is attached to each token and when a trans...

Partial S-invariants for the verification of infinite systems families

Vogler, Walter (Prof. Dr.)

January 2005

We introduce partial S-invariants of Petri nets, which can help to determine invariants and to prove...

A completion of the S-invariance technique by means of fixed point algorithms

Lautenbach, K.
Ridder, H.
Koblenz-Landau Univ., Koblenz (Germany). Inst. fuer Informatik

January 1995

On this paper we transform bounded Petri net systems into transition systems in order to have a brid...

Invariant Analysis In Petri Nets

Çayır, Sinan

May 2015

Tez (Yüksek Lisans) -- İstanbul Teknik Üniversitesi, Fen Bilimleri Enstitüsü, 2004Thesis (M.Sc.) -- ...

Computational invariant theory

Kemper, G.
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 1998

SIGLEAvailable from TIB Hannover: RR 1606(98-07) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Invariant-preserving Petri net reduction and conditions for invariant-existence

Das, Sajal Kumar
Agrawal, Vinod Kumar
Sarkar, Dilip
Patnaik, Lalit M

January 1988

The use of invariants is an important tool for analysis of distributed and concurrent systems modele...

Invariant-Preserving Petri Net Reduction And Conditions For Invariant-Existence

Das, Sajal K.
Agrawal, Vinod K.
Sarkar, Dilip
Patnaik, Lalit M.

January 1988

The use of invariants is an important tool for analysis of distributed and concurrent systems modele...

S- and T-invariants in Cyber net systems

Yuan, Chongyi

January 1995

Cyber nets are also known as self-modifying nets. Though proposed and defined some 20 years ago, the...

Computing structural properties of symmetric nets

L. Capra
M. De Pierro
G. Franceschinis

January 2015

Structural properties of Petri Nets (PN) have an important role in the process of model validation a...

Computing Structural Properties of Symmetric Nets

CAPRA, LORENZO
DE PIERRO, Massimiliano
FRANCESCHINIS, Giuliana Annamaria

January 2015

Structural properties of Petri Nets (PN) have an important role in the process of model validation a...

A class of composable high level petri nets. An M-net semantics of B(PN)"2

Klaudel, H. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique)
UPVM, Equipe d'Informatique Fondamentale, 94 - Creteil (France))
Hopkins, R.P. (Newcastle Univ., NSW (Australia). Dept. of Electrical Engineering and Computer Science)
Fraczak, W.
Best, E. (Hildesheim Univ. (Germany). Inst. fuer Informatik)
Fleischhack, H. (Oldenburg Univ. (Germany). Fachbereich 10 - Informatik)
Hildesheim Univ. (Germany). Inst. fuer Informatik
Pelz, E. (Paris-11 Univ., 91 - Orsay (France). Lab. de Recherche en Informatique

January 1995

Available from TIB Hannover: RO 8347(1995,10)+a / FIZ - Fachinformationszzentrum Karlsruhe / TIB - T...

On computing subfields A detailed description of the algorithm

Klueners, J.
Heidelberg Univ. (Germany). Interdisziplinaeres Zentrum fuer Wissenschaftliches Rechnen (IWR)

January 1998

SIGLEAvailable from TIB Hannover: RR 1606(98-26) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - ...

Automatic Symmetry Detection in Well-Formed Nets

Thierry-Mieg, Yann
Dutheillet, Claude
Mounier, Isabelle

June 2003

International audienceFormal verification of complex systems using high-level Petri Nets faces the s...

A new methodology for analyzing distributed systems modeled by petri nets

Sarkar, Dilip
Das, Sajal Kumar
Agrawal, Vinod Kumar
Patnaik, Lalit Mohan

January 1990

Distributed computing systems can be modeled adequately by Petri nets. The computation of invariants...

HIGH LEVEL PETRI NETS WITH DATA STRUCTURE

Sibertin-Blanc, Christophe

July 1985

International audienceFor the lack of a data structure, Petri nets are not suitable for modeling sys...

An Introduction to High-Level Petri Nets

Jensen, Kurt

October 1985

This paper describes a Petri net model, where information is attached to each token and when a trans...

An algorithm for computing S-invariants for high level petri nets

Abstract

Extracted data

An algorithm for computing S-invariants for high level petri nets

Abstract

Extracted data

Related items

Related items