NDLI: Fuzzy labeled transition system vertical bisimulation

Content Provider	IEEE Xplore Digital Library
Author	Kouah, S. Saidouni, D.E. Kitouni, I.
Copyright Year	2015
Description	Author affiliation: MISC Lab., Univ. of Abdelhamid Mehrim - Constantine 2, Constantine, Algeria (Kouah, S.; Saidouni, D.E.; Kitouni, I.)
Abstract	Fuzzy Labeled Transition Refinement Tree (FLTRT) is a rigorous refinement model which supports abstraction and handling incomplete information and by the way reducing complexity of refinement process. It is based on Fuzzy Labeled Transition System (FLTS) which is a generalization of well-known Labeled Transition System, enhanced by fuzziness facility. The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. In this paper, we study bisimulation relations on FLTSs which are categorized into two classes: horizontal and vertical bisimulation relations. The former class aims to identify equivalent specifications of the same abstraction level. However, the second one relates specifications that belong conceptually to different abstraction levels. Vertical bisimulation relation aims to check correctness of a given implementation with respect to its initial specification. FLTRT structure preserves the vertical bisimulation relation.
Starting Page	317
Ending Page	321
File Size	216675
Page Count	5
File Format	PDF
ISBN	9781479983520
ISSN	23270594
e-ISBN	9781479983537
DOI	10.1109/ICSESS.2015.7339064
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-09-23
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Fuzzy logic Refining Semantics Petri nets Bisimulation Specification model Refinement Finite element analysis Trajectory Complexity theory Labeling
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Top down relations on Fuzzy Labeled Transitions system

Maximality semantics and petri nets 1.

A reduced maximality labeled transition system generation for recursive Petri nets

Deciding finiteness of petri nets up to bisimulation (1996).

Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets (extended version (2008)

Fuzzy Bisimulation for Gödel Modal Logic

Place bisimulations for the reduction of labeled petri nets with silent moves (1994).

Model Checking Control Flow Petri Nets Using PAT

Hierarchies Of Place/transition Refinements In Petri Nets (1997)

Fuzzy labeled transition system vertical bisimulation

Similar Documents

Top down relations on Fuzzy Labeled Transitions system

Maximality semantics and petri nets 1.

A reduced maximality labeled transition system generation for recursive Petri nets

Deciding finiteness of petri nets up to bisimulation (1996).

Aggregation of transitions in marking graph generation based on maximality semantics for Petri nets (extended version (2008)

Fuzzy Bisimulation for Gödel Modal Logic

Place bisimulations for the reduction of labeled petri nets with silent moves (1994).

Model Checking Control Flow Petri Nets Using PAT

Hierarchies Of Place/transition Refinements In Petri Nets (1997)

Fuzzy labeled transition system vertical bisimulation