NDLI: The Input-Output Place-Transition Petri Net Class and Associated Tools

Content Provider	IEEE Xplore Digital Library
Author	Gomes, L. Barros, J.P. Costa, A. Nunes, R.
Copyright Year	2007
Description	Author affiliation: Univ. Nova de Lisboa, Lisbon (Gomes, L.)
Abstract	Petri nets are a well-known formalism widely used in different application areas. Yet, the lack of adequate tools that can be integrated within engineering development frameworks are one major drawback. This paper identifies and justifies the characteristics of one class of Petri nets targeted for the modelling of automation systems and (networked) embedded systems, named as input-output Petri net (IOPT), and its representation using the Petri net markup language (PNML). The paper also presents a set of associated tools under development. This Petri net class, defined on top of the well-known place-transition Petri nets, is the common link across a set of tools under development, including a graphical editor, a state-space analyser for the verification of properties, conflict resolution through automatic arbiter generation, automatic code generators, simulator, among others. In this sense, the main goal of the proposed Petri net class and associated tools is to support the entire system development flow, from specification to implementation.
Starting Page	509
Ending Page	514
File Size	290108
Page Count	6
File Format	PDF
ISBN	9781424408504
ISSN	19354576
DOI	10.1109/INDIN.2007.4384809
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2007-06-23
Publisher Place	Austria
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Analytical models Automation Markup languages Petri nets Embedded system Signal generators Animation Discrete event simulation Signal analysis Testing
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

A graphical editor for the input-output place-transition petri net class

FROM NON-AUTONOMOUS PETRI NET MODELS TO CODE IN EMBEDDED SYSTEMS DESIGN

Transforming Petri Nets into Event Graph models

Recovering model invariants from simulation traces with Petri net analysis techniques

Identification of discrete event systems using ordinary petri nets.

XACDML - extensible ACD markup language

Application in Control of Boiler Using Signal Interpreted Petri Net (SIPN) Method

Coloured Petri net models for automated manufacturing systems

Simulation-Based Optimization for the Design of Discrete Event Systems Modeled by Parametric Petri Nets

The Input-Output Place-Transition Petri Net Class and Associated Tools

Similar Documents

A graphical editor for the input-output place-transition petri net class

FROM NON-AUTONOMOUS PETRI NET MODELS TO CODE IN EMBEDDED SYSTEMS DESIGN

Transforming Petri Nets into Event Graph models

Recovering model invariants from simulation traces with Petri net analysis techniques

Identification of discrete event systems using ordinary petri nets.

XACDML - extensible ACD markup language

Application in Control of Boiler Using Signal Interpreted Petri Net (SIPN) Method

Coloured Petri net models for automated manufacturing systems

Simulation-Based Optimization for the Design of Discrete Event Systems Modeled by Parametric Petri Nets

The Input-Output Place-Transition Petri Net Class and Associated Tools