Tools

LEADER 05769cam 2200865 a 4500

001 ocm39504768;

003 OCoLC;

005 20260127093930.0;

008 980709s1997 enka b 101 0 eng ;

015 a| GB98488942| bnb;

015 a| 98,N26,02972| dnb;

016 7 a| 9537333192| DE-101;

016 7 a| 0077574902| Uk;

019 a| 39362627a| 40579071a| 960128416;

020 a| 3540646779q| (pbk.);

020 a| 9783540646778q| (pbk.);

029 1 a| AU@b| 000013996855;

029 1 a| DEBBGb| BV012006536;

029 1 a| DEBSZb| 06662827X;

029 1 a| NLGGCb| 17050753X;

029 1 a| NZ1b| 4874079;

029 1 a| OHXb| har000604389;

029 1 a| AU@b| 000072221265;

035 a| (Sirsi) o39362627;

035 a| (OCoLC)39504768z| (OCoLC)39362627z| (OCoLC)40579071z| (OCoLC)960128416;

049 a| EREE;

050 4 a| QA267b| .I575 1998;

072 7 a| QA2| lcco;

082 04 a| 511.32| 211| https://id.oclc.org/worldcat/ddc/E36FCxvRFypMfwwH9m83PkkHjp;

084 a| 54.102| bcl;

084 a| PN 952| blsrissc;

084 a| SS 19982| rvk;

084 a| SS 48002| rvk;

084 a| ST 1302| rvk;

084 a| 282| sdnb;

084 a| DAT 516f2| stub;

090 a| QA267b| .A66 1998;

111 2 a| International Conference on Applications and Theory of Petri Netsn| (19th :d| 1998 :c| Lisbon, Portugal)?| UNAUTHORIZED;

245 10 a| Application and theory of petri nets 1998 :b| 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 proceedings /c| Jörg Desel, Manuel Silva (Eds.).;

300 a| viii, 384 pages :b| illustrations ;c| 24 cm.;

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 1420;

504 a| Includes bibliographical references and index.;

505 0 a| Petri nets as token objects : an introduction to elementary object nets / R. Valk -- Synchronized products of transition systems and their analysis / A. Arnold -- Manual and automatic exploitation of symmetries in SPN models / G. Chiola -- Dimensioning handover buffers in wireless ATM networks with GSPN models / M. Ajmone Marsan, C.-F. Chiasserini and A. Fumagalli -- A class of well structured petri nets for flexible manufacturing systems / J. Ezpeleta, F. García-Vallés and J.M. Colom -- Modelling and model checking of distributed shared memory consistency protocol / K. Fisler and C. Girault --Finding stubborn sets of coloured petri nets without unfolding / L.M. Kristensen and A. Valmari -- On stubborn sets in the verification of linear time temporal properties / K. Varpaaniemi -- A compositional petri net semantics for SDL / H. Fleishhack and B. Grahlmann -- An axiomatisation of duplication equivalence in the petri box calculus /M. Hesketh and M. Koutny -- Efficiency of token-passing MUTEX-solutins : some experiments / E. Bihler and W. Vogler -- Thinking in cycles / M.-O. Stehr -- Iterative decomposition and aggregation of labeled GSPNs / P. Buccholz -- On the use of structural petri net analysis for studying product form equilibrium distributions of queueing networks with blocking / M. Gribaudo and M. Sreno -- Deadlock detection in the face of transaction and data dependencies / E. Bertino, G. Chiola and L.V. Mancini -- Petri net based certification of event-driven process chains / P. Langner, Chr. Schneidr and J. Wehler -- M-net calculus based semantics for triggers / V. Benzaken [and others] -- SWN analysis and simulation of large knockout ATM switches / R. Gaeta and M. Ajmone Marsan -- Flexibility in algebraic nets / E. Kndler and H. Völzer -- ESTL : a temporal logic for events and states / E. Kndler and T. Vesper.;

530 a| Also available via the World Wide Web.;

650 0 a| Petri netsv| Congresses.=| ^A1240997;

650 0 a| Machine theoryv| Congresses.=| ^A44837;

650 7 a| Machine theory.2| fast0| (OCoLC)fst01004846;

650 7 a| Petri nets.2| fast0| (OCoLC)fst01059237;

650 7 a| Petri-Netz.2| gnd0| (DE-588)4045388-1;

650 7 a| Kongress.2| gnd0| (DE-588)4130470-6;

650 17 a| Petri netwerken.2| gtt;

650 7 a| Petri netsv| Congresses.2| nli;

655 4 a| Kongreßz| Lissabony| 1998.;

655 7 a| Conference papers and proceedings.2| fast0| (OCoLC)fst01423772;

655 7 a| Lissabon (1998)2| swd;

700 1 a| Desel, Jörg.1| https://id.oclc.org/worldcat/entity/E39PCjK3GK4mHJRtwv3Cqbjqcd=| ^A363570;

700 1 a| Silva Suárez, Manuel.=| ^A1485403;

758 i| has work:a| Application and theory of Petri nets 1998 (Text)1| https://id.oclc.org/worldcat/entity/E39PCGCdPTpp4Yg67FWpCM7DVP4| https://id.oclc.org/worldcat/ontology/hasWork;

830 0 a| Lecture notes in computer science ;v| 1420.=| ^A466336;

856 41 3| SpringerLinku| https://doi.org/10.1007/3-540-69108-1;

856 41 3| Table of contentsu| http://swbplus.bsz-bw.de/bsz06662827xinh.htm;

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t1420.htmz| Restricted to Springer LINK subscribers;

856 41 u| http://link.springer.com/10.1007/3-540-69108-1z| eBook available for UOIT via SpringerLink. Click link to access;

856 4 3| Coveru| http://swbplus.bsz-bw.de/bsz06662827xcov.htm;

856 4 3| Kapitel 1u| http://swbplus.bsz-bw.de/bsz06662827xkap.htm;

938 a| Otto Harrassowitzb| HARRn| har000604389;

994 a| C0b| ERE;

596 a| 1;

998 a| 636433;

999 a| QA267 .A66 1998w| LCc| 1i| 30372010259700d| 8/9/1999l| JGESm| JOYNERp| $50.15r| Ys| Yt| JGESBKu| 9/21/1998x| BOOKz| JSTACKSo| .STAFF. 0;

Application and theory of petri nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 proceedings / Jörg Desel, Manuel Silva (Eds.).

Author/creator	International Conference on Applications and Theory of Petri Nets
Other author	Desel, Jörg.
Other author	Silva Suárez, Manuel.
Format	Book
Publication Info	Berlin ; London : Springer, ©1998.
Description	viii, 384 pages : illustrations ; 24 cm.
Supplemental Content	SpringerLink
Supplemental Content	Table of contents
Supplemental Content	Restricted to Springer LINK subscribers
Supplemental Content	eBook available for UOIT via SpringerLink. Click link to access
Supplemental Content	Cover
Supplemental Content	Kapitel 1
Subjects	Petri nets--Congresses. Machine theory--Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 1420 Lecture notes in computer science ; 1420. ^A466336
Contents	Petri nets as token objects : an introduction to elementary object nets / R. Valk -- Synchronized products of transition systems and their analysis / A. Arnold -- Manual and automatic exploitation of symmetries in SPN models / G. Chiola -- Dimensioning handover buffers in wireless ATM networks with GSPN models / M. Ajmone Marsan, C.-F. Chiasserini and A. Fumagalli -- A class of well structured petri nets for flexible manufacturing systems / J. Ezpeleta, F. García-Vallés and J.M. Colom -- Modelling and model checking of distributed shared memory consistency protocol / K. Fisler and C. Girault --Finding stubborn sets of coloured petri nets without unfolding / L.M. Kristensen and A. Valmari -- On stubborn sets in the verification of linear time temporal properties / K. Varpaaniemi -- A compositional petri net semantics for SDL / H. Fleishhack and B. Grahlmann -- An axiomatisation of duplication equivalence in the petri box calculus /M. Hesketh and M. Koutny -- Efficiency of token-passing MUTEX-solutins : some experiments / E. Bihler and W. Vogler -- Thinking in cycles / M.-O. Stehr -- Iterative decomposition and aggregation of labeled GSPNs / P. Buccholz -- On the use of structural petri net analysis for studying product form equilibrium distributions of queueing networks with blocking / M. Gribaudo and M. Sreno -- Deadlock detection in the face of transaction and data dependencies / E. Bertino, G. Chiola and L.V. Mancini -- Petri net based certification of event-driven process chains / P. Langner, Chr. Schneidr and J. Wehler -- M-net calculus based semantics for triggers / V. Benzaken [and others] -- SWN analysis and simulation of large knockout ATM switches / R. Gaeta and M. Ajmone Marsan -- Flexibility in algebraic nets / E. Kndler and H. Völzer -- ESTL : a temporal logic for events and states / E. Kndler and T. Vesper.
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
Genre/form	Kongreß Lissabon 1998.
Genre/form	Conference papers and proceedings.
Genre/form	Lissabon (1998)
ISBN	3540646779 (pbk.)
ISBN	9783540646778 (pbk.)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA267 .A66 1998	✔ Available	Place Hold

Application and theory of petri nets 1998 : 19th International Conference, ICATPN'98 Lisbon, Portugal, June 22-26, 1998 proceedings / Jörg Desel, Manuel Silva (Eds.).

Click here for more information about this title

Availability