Modular state space exploration for timed petri nets: Coloured Petri Nets

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer 2007, Vol.9 (3-4), p.393-411
Hauptverfasser:	LAKOS, C, PETRUCCI, L
Format:	Artikel
Sprache:	eng
Schlagworte:	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Software Software engineering
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

container_end_page	411
container_issue	3-4
container_start_page	393
container_title	International journal on software tools for technology transfer
container_volume	9
creator	LAKOS, C PETRUCCI, L
description
format	Article
fullrecord	<record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_18911886</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>18911886</sourcerecordid><originalsourceid>FETCH-pascalfrancis_primary_189118863</originalsourceid><addsrcrecordid>eNqNyj0LwjAQgOEgCtaP_3CLY6ExpUlnUVzc3MvRXiGSNuEugv57F3F2ep_hXahC18aUR-vs8mfbrtVG5FFV2ja2LVR9i8MzIINkzASSsCegVwqRMfs4wxgZsp9ogESZPcyUZadWIwah_bdbdbic76drmVB6DCPj3HvpEvsJ-d1p12rtXGP-_T5XeDhO</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Modular state space exploration for timed petri nets: Coloured Petri Nets</title><source>SpringerNature Journals</source><creator>LAKOS, C ; PETRUCCI, L</creator><creatorcontrib>LAKOS, C ; PETRUCCI, L</creatorcontrib><identifier>ISSN: 1433-2779</identifier><identifier>EISSN: 1433-2787</identifier><language>eng</language><publisher>Berlin: Springer</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Computer systems and distributed systems. User interface ; Exact sciences and technology ; Software ; Software engineering</subject><ispartof>International journal on software tools for technology transfer, 2007, Vol.9 (3-4), p.393-411</ispartof><rights>2007 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,780,784,4024</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=18911886$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>LAKOS, C</creatorcontrib><creatorcontrib>PETRUCCI, L</creatorcontrib><title>Modular state space exploration for timed petri nets: Coloured Petri Nets</title><title>International journal on software tools for technology transfer</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Computer systems and distributed systems. User interface</subject><subject>Exact sciences and technology</subject><subject>Software</subject><subject>Software engineering</subject><issn>1433-2779</issn><issn>1433-2787</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2007</creationdate><recordtype>article</recordtype><recordid>eNqNyj0LwjAQgOEgCtaP_3CLY6ExpUlnUVzc3MvRXiGSNuEugv57F3F2ep_hXahC18aUR-vs8mfbrtVG5FFV2ja2LVR9i8MzIINkzASSsCegVwqRMfs4wxgZsp9ogESZPcyUZadWIwah_bdbdbic76drmVB6DCPj3HvpEvsJ-d1p12rtXGP-_T5XeDhO</recordid><startdate>2007</startdate><enddate>2007</enddate><creator>LAKOS, C</creator><creator>PETRUCCI, L</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2007</creationdate><title>Modular state space exploration for timed petri nets</title><author>LAKOS, C ; PETRUCCI, L</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-pascalfrancis_primary_189118863</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2007</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Computer systems and distributed systems. User interface</topic><topic>Exact sciences and technology</topic><topic>Software</topic><topic>Software engineering</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>LAKOS, C</creatorcontrib><creatorcontrib>PETRUCCI, L</creatorcontrib><collection>Pascal-Francis</collection><jtitle>International journal on software tools for technology transfer</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>LAKOS, C</au><au>PETRUCCI, L</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Modular state space exploration for timed petri nets: Coloured Petri Nets</atitle><jtitle>International journal on software tools for technology transfer</jtitle><date>2007</date><risdate>2007</risdate><volume>9</volume><issue>3-4</issue><spage>393</spage><epage>411</epage><pages>393-411</pages><issn>1433-2779</issn><eissn>1433-2787</eissn><cop>Berlin</cop><pub>Springer</pub></addata></record>
fulltext	fulltext
identifier	ISSN: 1433-2779
ispartof	International journal on software tools for technology transfer, 2007, Vol.9 (3-4), p.393-411
issn	1433-2779 1433-2787
language	eng
recordid	cdi_pascalfrancis_primary_18911886
source	SpringerNature Journals
subjects	Applied sciences Computer science control theory systems Computer systems and distributed systems. User interface Exact sciences and technology Software Software engineering
title	Modular state space exploration for timed petri nets: Coloured Petri Nets
url	https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-21T04%3A03%3A38IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Modular%20state%20space%20exploration%20for%20timed%20petri%20nets:%20Coloured%20Petri%20Nets&rft.jtitle=International%20journal%20on%20software%20tools%20for%20technology%20transfer&rft.au=LAKOS,%20C&rft.date=2007&rft.volume=9&rft.issue=3-4&rft.spage=393&rft.epage=411&rft.pages=393-411&rft.issn=1433-2779&rft.eissn=1433-2787&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E18911886%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true